Backtracking without Trailing in CLP(R

Pascal Van Hentenryck, Viswanath Ramachandran

Browse the full PLDI paper archive.