%0 Journal Article %1 journals/ai/LecoutreSTV09 %A Lecoutre, Christophe %A Sais, Lakhdar %A Tabary, Sébastien %A Vidal, Vincent %D 2009 %J Artif. Intell. %K dblp %N 18 %P 1592-1614 %T Reasoning from last conflict(s) in constraint programming. %U http://dblp.uni-trier.de/db/journals/ai/ai173.html#LecoutreSTV09 %V 173

@article{journals/ai/LecoutreSTV09, added-at = {2017-12-30T00:00:00.000+0100}, author = {Lecoutre, Christophe and Sais, Lakhdar and Tabary, Sébastien and Vidal, Vincent}, biburl = {https://www.bibsonomy.org/bibtex/2e6e237cd641c0b38cb1c02733fbfca40/dblp}, ee = {https://doi.org/10.1016/j.artint.2009.09.002}, interhash = {d7a2c8f8471c5fc54fdb26e555a69856}, intrahash = {e6e237cd641c0b38cb1c02733fbfca40}, journal = {Artif. Intell.}, keywords = {dblp}, number = 18, pages = {1592-1614}, timestamp = {2018-01-02T11:34:55.000+0100}, title = {Reasoning from last conflict(s) in constraint programming.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai173.html#LecoutreSTV09}, volume = 173, year = 2009 }