@book{48c75d6c8bd341a3b58818f993d9ffda,
title = "Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers",
keywords = "debugging, abstract verification, constraint logic programming, constraint programming, constraint relaxation, constraint satisfaction problems, constraint solving, local search, logic, logic inference, modeling, programming, soft constraints, verification, algorithm analysis and problem complexity",
editor = "Barry O'Sullivan",
year = "2002",
month = may,
doi = "10.1007/3-540-36607-5",
language = "English (Ireland)",
isbn = "978-3-540-00986-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
address = "Germany",
}