An Algorithm for the SAT Problem for Formulae of Linear Length. / Wahlström, Magnus.

ESA. 2005. p. 107-118.

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

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

ID: 16831183