SAT Competition 2016: Recent Developments
Tomáš Balyo, Marijn J. H. Heule, Matti Järvisalo · Proceedings of the AAAI Conference on Artificial Intelligence · 2017
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.