On the Speed of Constraint Propagation and the Time Complexity of Arc Consistency Testing.

Christoph Berkholz, Oleg Verbitsky

Browse the full MFCS paper archive.