Counting Satisfying Assignments in 2-SAT and 3-SAT

Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström

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

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

Cite this