Jens Gramm, Jiong Guo, Falk Hüffner, Rolf Niedermeier. Automated Generation of Search Tree Algorithms for Graph Modification Problems. In Giuseppe Di Battista, Uri Zwick, editors, Algorithms - ESA 2003, 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings. Volume 2832 of Lecture Notes in Computer Science, pages 642-653, Springer, 2003. [doi]
Abstract is missing.