Armin Biere,
"CNF Encodings of Complete Pairwise Combinatorial Testing of our SAT Solver Satch"
, in Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda: Proc. of SAT Competition 2021 - Solver and Benchmark Descriptions, Serie Department of Computer Science Report Series B, Vol. vol. B-2021-1, University of Helsinki, Seite(n) 46, 2021
Original Titel:
CNF Encodings of Complete Pairwise Combinatorial Testing of our SAT Solver Satch
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. of SAT Competition 2021 - Solver and Benchmark Descriptions
Original Kurzfassung:
his note describes the benchmarks we have sub-mitted to the SAT Competition 2021 encoding the existence of alist of configurations of a given sizekwhich covers pairwise allcombinations of configurations of our SAT solver SATCH.
Forschungs-