Login / Signup
How Good Are Branching Rules in DPLL?
Ming Ouyang
Published in:
Discret. Appl. Math. (1998)
Keyphrases
</>
search tree
classification rules
association rules
np complete
sat solvers
rule sets
logical rules
domain experts
first order logic
davis putnam
active databases
production rules
branch and bound
artificial intelligence
decision rules
rough sets
computational complexity
decision trees
information systems