Pallab Dasgupta P. P. Chakrabarti Arnab Dey Sujoy Ghose Wolfgang Bibel Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques. 353-368 2002 14 IEEE Trans. Knowl. Data Eng. 2 http://www.computer.org:80/tkde/tk2002/k0353abs.htm db/journals/tkde/tkde14.html#DasguptaCDGB02