Relaxation on Optimization Predicates.

Hai-Feng Guo, Miao Liu, Bharat Jayaraman

Browse the full ICLP paper archive.