Login / Signup
Satisfiability Testing for Boolean Formulas Using Delta-trees.
Gloria Gutiérrez
Inman P. de Guzmán
Javier Martínez
Manuel Ojeda-Aciego
Agustín Valverde
Published in:
Stud Logica (2002)
Keyphrases
</>
satisfiability testing
boolean formula
propositional logic
sat solvers
practical problems
tree structure
linear constraints
np complete
membership queries
learning algorithm
search algorithm
constraint satisfaction
equivalence queries
unsatisfiable cores