Solving constraint optimization problems from CLP-style specifications using heuristic search techniques | IEEE Journals & Magazine | IEEE Xplore