Maintaining State in Propagation Solvers.

Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack

Browse the full CP paper archive.