Counting models for 2SAT and 3SAT formulae. / Dahllöf, Vilhelm; Jonsson, Peter; Wahlström, Magnus.

In: Theoretical Computer Science, Vol. 332, No. 1-3, 2005, p. 265-291.

Research output: Contribution to journalArticlepeer-review

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

ID: 16830873