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ä

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

Alkuperäiskieli	Englanti
Sivut	27-46
Julkaisu	Journal of Satisfiability, Boolean Modeling and Computation
Vuosikerta	2
Tila	Julkaistu - 2006
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Tutkimusalat

benchmarking
Boolean satisfiability
equivalence reasoning
satisfiable instances

OpenUrl-saatavuus

Koko teksti

Muut tiedostot ja linkit

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

Siteeraa tätä

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