Partial Satisfaction of k-Satisfiable Formulas.

Claudia Käppeli Dominik Scheder

Published in: Electron. Notes Discret. Math. (2007)

Keyphrases

propositional formulas
cnf formula
phase transition
satisfiability problem
np complete
user satisfaction
sat problem
customer satisfaction
data mining
bayesian networks
objective function
service quality
randomly generated
random sat