Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016

Armin Biere

Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016

Armin Biere

Institute of Formal Models and Verification

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

Abstract

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.

Original language	English
Title of host publication	Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions
Editors	Tomas Balyo, Marijn Heule, Matti Järvisalo
Publisher	University of Helsinki
Pages	65-66
Number of pages	2
Volume	B-2016-1
Publication status	Published - 2016

Publication series

Name	Department of Computer Science Series of Publications B

Fields of science

102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102031 Theoretical computer science
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@inproceedings{3f0a0e19cb7c43cf8374b3f7a0197358,

title = "Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016",

abstract = "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.",

author = "Armin Biere",

year = "2016",

language = "English",

volume = "B-2016-1",

series = "Department of Computer Science Series of Publications B",

publisher = "University of Helsinki",

pages = "65--66",

editor = "\{Tomas Balyo, Marijn Heule, Matti J{\"a}rvisalo\}",

booktitle = "Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions",

}

Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016. / Biere, Armin.
Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions. ed. / Tomas Balyo, Marijn Heule, Matti Järvisalo. Vol. B-2016-1 University of Helsinki, 2016. p. 65-66 (Department of Computer Science Series of Publications B).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

TY - GEN

T1 - Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016

AU - Biere, Armin

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

M3 - Conference proceedings

VL - B-2016-1

T3 - Department of Computer Science Series of Publications B

SP - 65

EP - 66

BT - Proceedings of SAT Competition 2016 - Solver and Benchmark Descriptions

A2 - Tomas Balyo, Marijn Heule, Matti Järvisalo, null

PB - University of Helsinki

ER -