Counting Satisfying Assignments in 2-SAT and 3-SAT. / Dahllöf, Vilhelm; Jonsson, Peter; Wahlström, Magnus.

COCOON. 2002. p. 535-543.

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

Published
Original languageEnglish
Title of host publicationCOCOON
Pages535-543
Number of pages9
Publication statusPublished - 2002

ID: 16830819