Analysis of Core-Guided MaxSat Using Cores and Correction Sets

Date

August, 2022

Authors

• Nina Narodytska
• Nikolaj S. Bj{\o}rner

Type

Inproceedings

Booktitle

25th International Conference on Theory and Applications of Satisfiability Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel