"Understanding the power of Max-SAT resolution through UP-resilience."

Mohamed Sami Cherif, Djamal Habet, André Abramé (2020)

Details and statistics

DOI: 10.1016/J.ARTINT.2020.103397

access: closed

type: Journal Article

metadata version: 2021-04-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics