QMaxSATpb: A Certified MaxSAT Solver

Onderzoeksoutput: Conference paper

2 Citaten (Scopus)
85 Downloads (Pure)

Samenvatting

While certification has been successful in the context of satisfiablity solving, with most state-of-the-art solvers now able to provide proofs of unsatisfiability, in maximum satisfiability, such techniques are not yet widespread. In this paper, we present QMaxSATpb, an extension of QMaxSAT that can produce proofs of optimality in the VeriPB proof format, which itself builds on the well-known cutting planes proof system. Our experiments demonstrate that proof logging is possible without much overhead.

Originele taal-2English
TitelLogic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings
RedacteurenGeorg Gottlob, Daniela Inclezan, Marco Maratea
UitgeverijSpringer
Pagina's429-442
Aantal pagina's14
Volume13416
ISBN van elektronische versie978-3-031-15706-6
ISBN van geprinte versie978-3-031-15706-6
DOI's
StatusPublished - 2022
Evenement16th International Conference on Logic Programming and Non-monotonic Reasoning - , Italy
Duur: 5 sep 20229 sep 2022
Congresnummer: 16
https://sites.google.com/view/lpnmr2022/

Publicatie series

NaamLecture Notes in Computer Science
UitgeverijSpringer
Volume13416
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Conference

Conference16th International Conference on Logic Programming and Non-monotonic Reasoning
Verkorte titelLPNMR
Land/RegioItaly
Periode5/09/229/09/22
Internet adres

Vingerafdruk

Duik in de onderzoeksthema's van 'QMaxSATpb: A Certified MaxSAT Solver'. Samen vormen ze een unieke vingerafdruk.

Citeer dit