Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction

• Authors:

• Thomas Ellman

• Affiliations:

• -

• Venue:
• SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
• Year:
• 2000