A parsimony tree for the SAT2002 competition.

Paul W. Purdom Daniel Le Berre Laurent Simon

Published in: Ann. Math. Artif. Intell. (2005)

Keyphrases

tree structure
sat solvers
binary tree
tree construction
index structure
hierarchical structure
satisfiability problem
sat problem
boolean satisfiability
learning algorithm
decision trees
bayesian networks
search algorithm
logic programming
propositional satisfiability