Armin Biere,
"CaDiCaL at the SAT Race 2019"
, in Marijn Heule, Matti Järvisalo, Martin Suda: Proc. of SAT Race 2019 - Solver and Benchmark Descriptions, Serie Department of Computer Science Series of Publications B, Vol. B-2019-1, University of Helsinki, Seite(n) 14-15, 2019
Original Titel:
CaDiCaL at the SAT Race 2019
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. of SAT Race 2019 - Solver and Benchmark Descriptions
Original Kurzfassung:
Our SAT solver CADICAL provides a clean, documented,
easy to understand and modify state-of-the-art solver, based on
CDCL [1] with inprocessing [2]. Earlier versions participated
in the SAT competition 2017 and 2018. Here we only describe
differences to these versions [3], [4]. Even though CADICAL
performed well on unsatisfiable instances in the SAT Competition 2018, the performance on satisfiable instances was behind
the top solvers in that competition. Thus a large part of the
changes made and described in this note are motivated by
trying to improve CADICAL on satisfiable instances without
loosing its good performance on unsatisfiable instances.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
University of Helsinki
Serie:
Department of Computer Science Series of Publications B