SAT Competition 2016: Recent Developments

We give an overview of SAT Competition 2016, the 2016 edition of the famous 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 the competition series, including new competition tracks and new solver techniques implemented in some of the award-winning solvers.

Authors

• Tomas Balyo
• Marijn Heule
• Matti Jarvisalo

Keywords

No keywords are indexed for this paper.