Sign in
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