Parameterized Complexity of Weighted Satisfiability Problems.

Nadia Creignou, Heribert Vollmer

Browse the full SAT paper archive.