The series of MaxSAT Evaluations, organized yearly since 2006, has been the main forum for evaluating the state of the art in solvers for the Boolean optimization paradigm of maximum satisfiability (MaxSAT).This article provides an overview of the 2018 Max-SAT Evaluation, including a description of the main changes made in 2017 under a new organizing team, an overview of the solvers and benchmarks submitted in 2018, and detailed results of the 2018 evaluation.
No takes yet. Share an insight, caveat, or question.
Bacchus et al. (2019) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: