AAAI Publications, Thirty-First AAAI Conference on Artificial Intelligence

Font Size: 
SAT Competition 2016: Recent Developments
Tomas Balyo, Marijn J. H. Heule, Matti Jarvisalo

Last modified: 2017-02-12

Abstract


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.

Keywords


satisfiability; competition; benchmarks

Full Text: PDF