The and 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 , in collaboration with Marijn Heule (The University of Texas at Austin) and Martin Suda (Vienna University of Technology), and , in collaboration with Fahiem Bacchus (University of Toronto) and Ruben Martins (Carnegie Mellon University).