Cristian Frasinaru, Florentin Olariu. Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. pages 243-249, IEEE, 2013. [doi]
Abstract is missing.