Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3.

Cristian Frasinaru, Florentin Olariu

Browse the full SYNASC paper archive.