Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

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

    Research areas

  • benchmarking, Boolean satisfiability, equivalence reasoning, satisfiable instances

ID: 3399880