Armin Biere,
"Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016"
, in Tomas Balyo, Marijn Heule, Matti Järvisalo: Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions, Serie Department of Computer Science Series of Publications B, Vol. B-2016-1, University of Helsinki, Seite(n) 65-66, 2016
Original Titel:
Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions
Original Kurzfassung:
In this short note we present a collection of benchmarks
submitted to the SAT Competition 2016. Most of them
stem from other sources, some crafted ones are new, but all
present equivalence checking problems (miters) for arithmetic
circuits, such as Multipliers.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
University of Helsinki
Serie:
Department of Computer Science Series of Publications B