Whose side are you on? Finding solutions in a biased search-tree.

Marijn Heule Hans van Maaren

Published in: J. Satisf. Boolean Model. Comput. (2008)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
depth first search
branching factor
b tree
sat solvers
game tree
binary search trees
training set
data model
np hard
orders of magnitude
solution space
root node