A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances

Parameterized and Exact Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79723-4_19 ◽

2008 ◽

pp. 202-213 ◽

Cited By ~ 15

Author(s):

Magnus Wahlström

Download Full-text