@inbook{c0a71405e7824ed785f9e090c46ba98f,
title = "A reformulation-based approach to explanation in constraint satisfaction",
author = "Hadrien Cambazard and Barry O'Sullivan",
year = "2007",
doi = "10.1007/978-3-540-73580-9\_32",
language = "English",
isbn = "3540735798",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "395--396",
booktitle = "Abstraction, Reformulation, and Approximation - 7th International Symposium, SARA 2007 Proceedings",
address = "Germany",
note = "7th International Symposium on Abstraction, Reformulation, and Approximation , SARA 2007 ; Conference date: 18-07-2007 Through 21-07-2007",
}