Finding Conflict Sets and Backtrack Points in CLP(R).

Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes

Browse the full ICLP paper archive.