TY  - JOUR
AU  - Lecoutre, C.
AU  - Saïs, L.
AU  - Tabary, S.
AU  - Vidal, V.
PY  - 2009//
TI  - Reasoning from last conflict(s) in constraint programming
JO  - ai
SP  - 1592
EP  - 1614
VL  - 173
ID  - Lecoutre09
ER  -