@InProceedings{LPR-04-1,
title = {The long way from conflict driven clause learning to conflict driven constraint learning},
booktitle = {Guangzhou Symposium on Satisfiability and its applications(Guangzhou04)},
author = {Le~Berre, Daniel and Parrain, Anne and Roussel, Olivier},
OPT_auteurs_membres = {Le~Berre, Daniel and Parrain, Anne and Roussel, Olivier},
year = {2004},
month = {sep},
address = {Guangzhou, Chine},
note = {papier invité},
}