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 proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | COCOON |
Pages | 535-543 |
Number of pages | 9 |
Publication status | Published - 2002 |
ID: 16830819