Polynomial Classes of Boolean Formulas for Computing the Degree of Belief.

Guillermo De Ita Luna

Published in: IBERAMIA (2004)

Keyphrases

boolean formula
equivalence queries
membership queries
practical problems
efficient learning
sat solvers
linear programming
np complete
linear constraints
conjunctive normal form
learning algorithm
upper bound
metaheuristic
unsatisfiable cores