SAT Competition 2016: Recent Developments
Balyo, Tomas ( Karlsruhe Institute of Technology Karlsruhe, Germany ) | Heule, Marijn J. H. (The University of Texas at Austin) | Jarvisalo, Matti (HIIT, Department of Computer Science University of Helsinki, Finland)
We give an overview of SAT Competition 2016, the 2016 edition of thefamous competition for Boolean satisfiability (SAT) solvers with over 20 years of history. A key aim is to point out ``what's hot'' in SAT competitions in 2016, i.e., new developments in thecompetition series, including new competition tracks and new solver techniquesimplemented in some of the award-winning solvers.
Feb-14-2017