When Is Weighted Satisfiability FPT?

Iyad A. Kanj Ge Xia

Published in: WADS (2013)

Keyphrases

np complete
satisfiability problem
propositional logic
computational complexity
satisfiability testing
weighted sum
quantified boolean formulas
data sets
case study
sat solving
terminological reasoning