An Algorithm for the SAT Problem for Formulae of Linear Length

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

Original languageEnglish
Title of host publicationESA
Pages107-118
Number of pages12
Publication statusPublished - 2005

Cite this