A Methodology for Managing Hard Constraints in CLP Systems.

Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap

Browse the full PLDI paper archive.