What's Hot in the SAT and ASP Competitions

Some solvers, such as lingeling, use techniques The SAT Competitions, organized since 2002, have been the that cannot be expressed using resolution and cannot driving force of SAT solver development. The performance be expressed in the SAT Competition 2013 formats. of contemporary SAT solvers is incomparable to those of a One technique that cannot be expressed using resolution, decade ago. As a consequence, SAT solvers are used as the but is used in some top solvers, is bounded variable addition core search engine in many utilities, including tools for hardware (Manthey, Heule, and Biere 2013).