Rainer Bacher. Automatic Generation of Optimization Code Based on Symbolic Non-Linear Domain Formulation. In ISSAC. pages 283-291, 1996. [doi]
@inproceedings{Bacher96, title = {Automatic Generation of Optimization Code Based on Symbolic Non-Linear Domain Formulation}, author = {Rainer Bacher}, year = {1996}, doi = {10.1145/236869.237086}, url = {http://doi.acm.org/10.1145/236869.237086}, tags = {optimization, rule-based, code generation}, researchr = {https://researchr.org/publication/Bacher96}, cites = {0}, citedby = {0}, pages = {283-291}, booktitle = {ISSAC}, }