R. Barták, A new algorithm for singleton arc consistency, Proceedings FLAIRS'04, 2004.

H. Bennaceur and M. S. Affane, Partition-k-ac: an efficient filtering technique combining domain partition and arc consistency, Proceedings CP'01, pp.560-564, 2001.

P. Berlandier, Improving domain filtering using restricted path consistency, Proceedings IEEE-CAIA'95, 1995.

C. Bessière, Arc-consistency and arc-consistency again, Artificial Intelligence, vol.65, pp.179-190, 1994.

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

R. Debruyne and C. Bessière, From restricted path consistency to max-restricted path consistency, Proceedings CP'97, pp.312-326, 1997.

R. Debruyne and C. Bessière, Some practicable filtering techniques for the constraint satisfaction problem, Proceedings IJCAI'97, 1997.

R. Debruyne and C. Bessière, Domain filtering consistencies, Journal of Artificial Intelligence Research, vol.14, pp.205-230, 2001.

J. W. Freeman, Improvements to propositional satisfiability search algorithms, 1995.

E. C. Freuder, Synthesizing constraint expressions, Communications of the ACM, vol.21, issue.11, pp.958-966, 1978.

O. Lhomme, Consistency techniques for numeric csps, Proceedings IJCAI'93, pp.232-238, 1993.

C. M. Li and A. , Heuristics based on unit propagation for satisfiability problems, Proceedings IJCAI'97, pp.366-371, 1997.

J. J. Mcgregor, Relational consistency algorithms and their application in finding subgraph and graph isomorphism, Information Science, vol.19, pp.229-250, 1979.

U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Science, vol.7, pp.95-132, 1974.

P. Prosser, K. Stergiou, and T. Walsh, Singleton consistencies, Proceedings CP'00, pp.353-368, 2000.

T. Schiex, J. C. Régin, G. Verfaillie, and C. Gaspin, Lazy arc-consistency, Proceedings AAAI'96, pp.216-221, 1996.