| 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