Using Rewarding Mechanisms for Improving Branching Heuristics.

Elsa Carvalho João P. Marques Silva

Published in: SAT (2004)

Keyphrases

search algorithm
branch and bound
special case
building blocks
heuristic search
search tree
data sets
decision trees
search space
variable ordering
greedy heuristics