@inproceedings{DBLP:conf/cp/SurynekB04,
author = {Pavel Surynek and
Roman Bart{\'a}k},
title = {A New Algorithm for Maintaining Arc Consistency After Constraint
Retraction},
booktitle = {CP},
year = {2004},
pages = {767-771},
ee = {http://dx.doi.org/10.1007/978-3-540-30201-8_63},
crossref = {DBLP:conf/cp/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cp/2004,
editor = {Mark Wallace},
title = {Principles and Practice of Constraint Programming - CP 2004,
10th International Conference, CP 2004, Toronto, Canada,
September 27 - October 1, 2004, Proceedings},
booktitle = {CP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3258},
year = {2004},
isbn = {3-540-23241-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}