Thomas Ellman. Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction. In Berthe Y. Choueiry, Toby Walsh, editors, Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Volume 1864 of Lecture Notes in Computer Science, pages 317-319, Springer, 2000. [doi]
@inproceedings{Ellman00,
title = {Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction},
author = {Thomas Ellman},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1864/18640317.htm},
tags = {optimization, constraints, program optimization, transformation, program transformation},
researchr = {https://researchr.org/publication/Ellman00},
cites = {0},
citedby = {0},
pages = {317-319},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
editor = {Berthe Y. Choueiry and Toby Walsh},
volume = {1864},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67839-5},
}