L. Michel and P. Van Hentenryck "Helios: A Modeling Language for Global Optimization and its Implementation in Newton Theoretical Computer Science"

Languages mentioned

• Helios {2000}