Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

Harri Haanpää; Matti Järvisalo; Petteri Kaski; Ilkka Niemelä

Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

Harri Haanpää, Matti Järvisalo, Petteri Kaski, Ilkka Niemelä

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	27-46
Journal	Journal of Satisfiability, Boolean Modeling and Computation
Volume	2
Publication status	Published - 2006
MoE publication type	A1 Journal article-refereed

Keywords

benchmarking
Boolean satisfiability
equivalence reasoning
satisfiable instances

OpenUrl availability

Full text

Cite this

@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",

publisher = "IOS PRESS",

}

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 -

Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

Keywords

OpenUrl availability

Other files and links

Cite this