The SAT Competitions and MaxSAT Evaluations are the main annual evaluation events for state-of-the-art solver technology for Boolean satisfiability and Maximum satisfiability, respectively, with over 10 years of history.
Matti Järvisalo of the Constraint Reasoning and Optimization group is involved in organizing SAT Competition 2018, in collaboration with Marijn Heule (The University of Texas at Austin) and Martin Suda (Vienna University of Technology), and MaxSAT Evaluation 2018, in collaboration with Fahiem Bacchus (University of Toronto) and Ruben Martins (Carnegie Mellon University).