Helios(ID:7072/hel006)

Constrainst solving lagnuage

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