Automated Generation of Search Tree Algorithms for Hard Graph Modification Problems.

Jens Gramm Jiong Guo Falk Hüffner Rolf Niedermeier

Published in: Algorithmica (2004)

Keyphrases

search tree
depth first search
optimization problems
search algorithm
sat solving
np complete
combinatorial optimization
tree search
search methods
search space
computational complexity
data structure
binary search trees
root node
simulated annealing
knn
branch and bound algorithm
sat solvers
branch and bound search