Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

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

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    Pages (from-to)27-46
    JournalJournal of Satisfiability, Boolean Modeling and Computation
    Publication statusPublished - 2006
    MoE publication typeA1 Journal article-refereed


    • benchmarking
    • Boolean satisfiability
    • equivalence reasoning
    • satisfiable instances

    Cite this