In:
AI Magazine, Wiley, Vol. 33, No. 1 ( 2012-03), p. 89-94
Abstract:
The International SAT Solver Competition is today an established series of competitive events aiming at objectively evaluating the progress in state‐of‐the‐art procedures for solving Boolean satisfiability (SAT) instances. Over the years, the competitions have significantly contributed to the fast progress in SAT solver technology that has made SAT a practical success story of computer science. This short article provides an overview of the SAT solver competitions.
Type of Medium:
Online Resource
ISSN:
0738-4602
,
2371-9621
DOI:
10.1609/aimag.v33i1.2395
Language:
English
Publisher:
Wiley
Publication Date:
2012
detail.hit.zdb_id:
2068527-0
detail.hit.zdb_id:
46965-8
Permalink