Optimization and Relaxation in Constraint Logic Languages.

Kannan Govindarajan, Bharat Jayaraman, Surya Mantha

Browse the full POPL paper archive.