Original language | English |
---|---|
Title of host publication | COCOON |
Pages | 535-543 |
Number of pages | 9 |
Publication status | Published - 2002 |
Counting Satisfying Assignments in 2-SAT and 3-SAT
Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution