@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",
   URL =       "http://www.gecode.org/paper.html?id=ReischukSchulteEa:CP:2009"
}