Armin Biere,
"Divider and Unique Inverse Benchmarks Submitted to the SAT Competition 2018"
, in Heule, Marijn J. H.; Järvisalo, Matti Juhani; Suda, Martin: Proceedings of SAT Competition 2018 - Solver and Benchmark Descriptions, Vol. B-2018-1, Department of Computer Science Series of Publications B, Helsinki, Seite(n) 56, 2018
Original Titel:
Divider and Unique Inverse Benchmarks Submitted to the SAT Competition 2018
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of SAT Competition 2018 - Solver and Benchmark Descriptions
Original Kurzfassung:
Our benchmark submission for the SAT 2018 Competition consist of two sets of word-level properties originally formulated as SMT problems in the quanti?er-free theory of bitvectors in BTOR [1] or SMTLIB [2] format. We then use our SMT solver Boolector [3] to synthesize AIGs [4], which in turn were translated to DIMACS format.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Department of Computer Science Series of Publications B
Forschungs-