"Algorithms for Variable-Weighted 2-SAT and Dual Problems."

Stefan Porschen, Ewald Speckenmeyer (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics