Welcome Dates Committees CFP Workshops Proceedings Competitions Summer-School

SAT Race 2019

The 2019 SAT Race is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 22th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions and SAT-Races / Challenges.

Organizers:
MaxSAT Evaluation 2019

The 2019 MaxSAT Evaluation (MSE 2019) is the primary competition-style event focusing on the evaluation of MaxSAT solvers organized yearly since 2006. The main goals of MaxSAT Evaluation 2019 (MSE 2019) are to assess the state of the art in the field of MaxSAT solvers, to collect and re-distribute a heterogeneous MaxSAT benchmark set for further scientific evaluations, and to promote MaxSAT as a viable option for solving instances of a wide range of NP-hard optimization problems.

Organizers: Webpage

QBFEVAL '19

QBFEVAL'19 is the 2019 competitive evaluation of QBF solvers, and the fourteenth evaluation of QBF solvers and instances. QBFEVAL'19 awards solvers that stand out as being particularly effective on specific categories of QBF instances.

Organizers:

Webpage