Automated Generation of Search Tree Algorithms for Graph Modification Problems.

Jens Gramm Jiong Guo Falk Hüffner Rolf Niedermeier

Published in: ESA (2003)

Keyphrases

search tree
depth first search
optimization problems
data structure
binary search trees
sat solving
search algorithm
computational complexity
state space
np complete