C. Bessiere and R. Debruyne, Theoretical analysis of singleton arc consistency and its extensions, Artificial Intelligence, vol.172, issue.1, pp.29-41, 2008.
DOI : 10.1016/j.artint.2007.09.001
URL : https://hal.archives-ouvertes.fr/lirmm-00230949

C. Bessiere and J. Régin, Arc consistency for general constraint networks : preliminary results, Proceedings of IJCAI'97, pp.398-404, 1997.

C. Bessiere and J. Régin, Refining the basic constraint propagation algorithm, Proceedings of IJCAI'01, pp.309-315, 2001.

C. Bessière, R. Coletta, O. Barry, M. Sullivan, and . Paulin, Query-driven constraint acquisition, Ijcai'2007, pp.50-55, 2007.

R. Debruyne and C. Bessiere, Some practical filtering techniques for the constraint satisfaction problem, Proceedings of IJCAI'97, pp.412-417, 1997.

F. Olivier, G. Eric, M. Bertrand, and S. Lakhdar, Reducing hard sat instances to polynomial ones, IEEE international conference on Information Reuse and Integration polynomial ones(IEEE-IRI'07), pp.18-23, 2007.

A. M. Frisch, C. Jefferson, B. M. Hernández, and I. Miguel, The rules of constraint modelling, Ijcai'2005, pp.109-116, 2005.

P. Liberatore, Redundancy in logic I: CNF propositional formulae, Artificial Intelligence, vol.163, issue.2, pp.203-232, 2005.
DOI : 10.1016/j.artint.2004.11.002
URL : http://doi.org/10.1016/j.artint.2004.11.002

O. Sarah, . Connell, O. Barry, E. C. Sullivan, and . Freuder, Timid acquisition of constraint satisfaction problems, Sac'2005, pp.404-408, 2005.

D. Sabin, E. Freuder, and M. R. Van-dongen, Contradicting conventional wisdom in constraint satisfaction Beyond singleton arc consistency, Proceedings of CP'94 Proceedings of ECAI'06, pp.10-20, 1994.