Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

Tutkimustuotos: Lehtiartikkelivertaisarvioitu

Tutkijat

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut27-46
JulkaisuJournal of Satisfiability, Boolean Modeling and Computation
Vuosikerta2
TilaJulkaistu - 2006
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

  • benchmarking, Boolean satisfiability, equivalence reasoning, satisfiable instances

ID: 3399880