Two papers accepted to Journal on Satisfiability, Boolean Modeling and Computation

15.7.2019
The papers cover the 2018 editions of SAT Competitions and MaxSAT Evaluations, the two main competitive events in their respective areas.

The papers MaxSAT Evaluation 2018: New Developments and Detailed Results, co-authored by Matti Järvisalo together with Fahiem Bacchus (University of Toronto, Canada) and Ruben Martins (Carnegie Mellon University, USA), and SAT Competition 2018, co-authored by Matti Järvisalo together with Marijn Heule (Carnegie Mellon University, USA) and Martin Suda (Czech Institute of Informatics, Robotics, and Cybernetics, Czech Republic) have been accepted for publication in Journal on Satisfiability, Boolean Modeling and Computation.

The articles report on the 2018 of the respective main solver competitions on SAT solving and MaxSAT solving, which together draw in yearly over 50 solver implementations from various countries. The main goals of these competitive events are to assess the state of the art in the field and to collect and re-distribute a heterogeneous benchmark set for further scientific evaluations.