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