@article{Lecoutre09,
author = "C. Lecoutre and L Sa{\"i}s and S. Tabary and V. Vidal",
journal = "ai",
pages = "1592,1614",
title = "{R}easoning from last conflict(s) in constraint programming",
volume = "173",
year = "2009",
}