Login / Signup
Reduction Theorems 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:
JELIA (2000)
Keyphrases
</>
boolean formula
sat solvers
decision trees
np complete
orders of magnitude
tree structure
practical problems
linear constraints
reinforcement learning
heuristic search
satisfiability problem
search tree
unsatisfiable cores