Counting models for 2SAT and 3SAT formulae

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

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	265-291
Number of pages	27
Journal	Theoretical Computer Science
Volume	332
Issue number	1-3
Publication status	Published - 2005

Cite this

@article{223fb5d4f11f44ed9807abb9a7f3de64,

title = "Counting models for 2SAT and 3SAT formulae",

author = "Vilhelm Dahll{\"o}f and Peter Jonsson and Magnus Wahlstr{\"o}m",

note = "Part of my PhD thesis.",

year = "2005",

language = "English",

volume = "332",

pages = "265--291",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "1-3",

}