Relaxation on Optimization Predicates. - Guo, Hai-Feng; Liu, Miao; Jayaraman, Bharat (2006)