Counting models for 2SAT and 3SAT formulae

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

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)265-291
Number of pages27
JournalTheoretical Computer Science
Volume332
Issue number1-3
Publication statusPublished - 2005

Cite this