A new algorithm for singleton arc consistency, Proceedings FLAIRS'04, 2004. ,
Partition-k-ac: an efficient filtering technique combining domain partition and arc consistency, Proceedings CP'01, pp.560-564, 2001. ,
Improving domain filtering using restricted path consistency, Proceedings IEEE-CAIA'95, 1995. ,
Arc-consistency and arc-consistency again, Artificial Intelligence, vol.65, pp.179-190, 1994. ,
Refining the basic constraint propagation algorithm, Proceedings IJCAI'01, pp.309-315, 2001. ,
From restricted path consistency to max-restricted path consistency, Proceedings CP'97, pp.312-326, 1997. ,
Some practicable filtering techniques for the constraint satisfaction problem, Proceedings IJCAI'97, 1997. ,
Domain filtering consistencies, Journal of Artificial Intelligence Research, vol.14, pp.205-230, 2001. ,
Improvements to propositional satisfiability search algorithms, 1995. ,
Synthesizing constraint expressions, Communications of the ACM, vol.21, issue.11, pp.958-966, 1978. ,
Consistency techniques for numeric csps, Proceedings IJCAI'93, pp.232-238, 1993. ,
Heuristics based on unit propagation for satisfiability problems, Proceedings IJCAI'97, pp.366-371, 1997. ,
Relational consistency algorithms and their application in finding subgraph and graph isomorphism, Information Science, vol.19, pp.229-250, 1979. ,
Networks of constraints: Fundamental properties and applications to picture processing, Information Science, vol.7, pp.95-132, 1974. ,
Singleton consistencies, Proceedings CP'00, pp.353-368, 2000. ,
Lazy arc-consistency, Proceedings AAAI'96, pp.216-221, 1996. ,