Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

Research output: Contribution to journalArticleScientificpeer-review

Standard

Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. / Haanpää, Harri; Järvisalo, Matti; Kaski, Petteri; Niemelä, Ilkka.

In: Journal of Satisfiability, Boolean Modeling and Computation, Vol. 2, 2006, p. 27-46.

Research output: Contribution to journalArticleScientificpeer-review

Harvard

APA

Vancouver

Author

Bibtex - Download

@article{89ad29a7dcd140bd951111d81b053ec8,
title = "Hard satisfiable clause sets for benchmarking equivalence reasoning techniques",
keywords = "benchmarking, Boolean satisfiability, equivalence reasoning, satisfiable instances, benchmarking, Boolean satisfiability, equivalence reasoning, satisfiable instances, benchmarking, Boolean satisfiability, equivalence reasoning, satisfiable instances",
author = "Harri Haanp{\"a}{\"a} and Matti J{\"a}rvisalo and Petteri Kaski and Ilkka Niemel{\"a}",
year = "2006",
language = "English",
volume = "2",
pages = "27--46",
journal = "Journal of Satisfiability, Boolean Modeling and Computation",
issn = "1875-5011",

}

RIS - Download

TY - JOUR

T1 - Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

AU - Haanpää, Harri

AU - Järvisalo, Matti

AU - Kaski, Petteri

AU - Niemelä, Ilkka

PY - 2006

Y1 - 2006

KW - benchmarking

KW - Boolean satisfiability

KW - equivalence reasoning

KW - satisfiable instances

KW - benchmarking

KW - Boolean satisfiability

KW - equivalence reasoning

KW - satisfiable instances

KW - benchmarking

KW - Boolean satisfiability

KW - equivalence reasoning

KW - satisfiable instances

UR - https://www.researchgate.net/publication/220163299_Hard_Satisfiable_Clause_Sets_for_Benchmarking_Equivalence_Reasoning_Techniques

M3 - Article

VL - 2

SP - 27

EP - 46

JO - Journal of Satisfiability, Boolean Modeling and Computation

JF - Journal of Satisfiability, Boolean Modeling and Computation

SN - 1875-5011

ER -

ID: 3399880