Publications Login
Home List all
@inproceedings{feldman09automated1,
	author          = {Alexander Feldman and Gregory Provan and Johan de Kleer and Lukas Kuhn and Arjan van Gemund},
	title           = {Automated Redesign with the {General Redesign Engine}},
	booktitle       = {Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US},
	year            = {2009},
	month           = {July},
	group           = {ES}
}