Robert McCartney. Synthesizing Algorithms with Performance Constraints. In AAAI. pages 149-154, 1987.
@inproceedings{McCartney87, title = {Synthesizing Algorithms with Performance Constraints}, author = {Robert McCartney}, year = {1987}, tags = {constraints}, researchr = {https://researchr.org/publication/McCartney87}, cites = {0}, citedby = {0}, pages = {149-154}, booktitle = {AAAI}, }