Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationSAT
Pages309-323
Number of pages15
Publication statusPublished - 2005

Cite this