@InProceedings{ReischukSchulteEa:CP:2009,
Author = "Raphael M. Reischuk and Christian Schulte and Peter J. Stuckey and Guido Tack",
Title = "Maintaining State in Propagation Solvers",
Editor = "Ian Gent",
Booktitle = "Fifteenth International Conference on Principles and Practice of Constraint Programming",
Year = 2009,
Month = sep,
Address = "Lisbon, Portugal",
Publisher = "Springer-Verlag",
Series = "Lecture Notes in Computer Science",
Volume = "5732",
Pages = "692--706",
DOI = "10.1007/978-3-642-04244-7_54",
URL = "https://chschulte.github.io/papers/reischukschulteea-cp-2009.html"
}