@inproceedings{42c2a9aaa8164423af8eee183b6074ff,
title = "A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances",
author = "Magnus Wahlstr{\"o}m",
year = "2008",
month = may,
day = "1",
doi = "10.1007/978-3-540-79723-4_19",
language = "Undefined/Unknown",
volume = "5018",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "202--213",
editor = "Martin Grohe and Rolf Niedermeier",
booktitle = "3rd International Workshop on Parameterized and Exact Computation (IWPEC 2008)",
}