Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Niedermeier. Automated Generation of Search Tree Algorithms for Hard Graph Modification Problems. Algorithmica, 39(4):321-347, 2004. [doi]
@article{GrammGHN04,
title = {Automated Generation of Search Tree Algorithms for Hard Graph Modification Problems},
author = {Jens Gramm and Jiong Guo and Falk Hüffner and Rolf Niedermeier},
year = {2004},
doi = {10.1007/s00453-004-1090-5},
url = {http://dx.doi.org/10.1007/s00453-004-1090-5},
tags = {graph-rewriting, rewriting, search},
researchr = {https://researchr.org/publication/GrammGHN04},
cites = {0},
citedby = {0},
journal = {Algorithmica},
volume = {39},
number = {4},
pages = {321-347},
}