Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable. / Wahlström, Magnus.

SAT. 2005. p. 309-323.

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

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

ID: 16831196