No more "partial" and "full looking ahead"

Artificial Intelligence

Volumn 98, Issue 1-2, 1998, Pages 351-361

  Tsang, Edward ^a  

^a UNIVERSITY OF ESSEX   (United Kingdom)

Author keywords

Arc consistency; Constraint propagation; Constraint satisfaction; Directional arc consistency; Looking ahead

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; PROBLEM SOLVING; THEOREM PROVING;

CONSTRAINT SATISFACTION; DIRECTIONAL ARC CONSISTENCY; FULL LOOKING AHEAD (FLA) ALGORITHMS; PARTIAL LOOKING AHEAD (PLA) ALGORITHMS;

CONSTRAINT THEORY;

EID: 0031699058     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(97)00064-7     Document Type: Article

References (25)

1. C. Bessière, Arc-consistency and arc-consistency again, Artificial Intelligence 65 (1994) 179-190.
2. C. Bessière, E.C. Freuder and J.-C. Regin, Using inference to reduce arc consistency computation, in: C. Mellish, ed., Proceedings IJCAI-95, Montreal, Quebec (1995) 592-598.
3. R. Dechter and J. Pearl, The anatomy of easy problems: a constraint satisfaction formulation, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 1066-1072.
4. R. Dechter and J. Pearl, Network-based heuristics for constraint-satisfaction problems, Artificial Intelligence 34 (1988) 1-38.
5. Y. Deville and P. Van Hentenryck, An efficient arc consistency algorithm for a class of CSP problems, in: Proceedings IJCAI-91, Sydney, Australia (1991) 325-330.
6. B. Faltings, Arc-consistency for continuous variables, Artificial Intelligence 65 (1994) 363-376.
7. E.C. Freuder, A sufficient condition for backtrack-free search, J. ACM 29 (1982) 24-32.
8. E.C. Freuder and A. Mackworth, eds.,Constraint-Based Reasoning (MIT Press, Cambridge, MA, 1994).
9. D. Frost and R. Dechter, Looking at full looking ahead, Poster, in: Proceedings 2nd International Conference on Principles and Practice of Constraint Programming (1996) 539-540.
10. R.M. Haralick and G.L. Elliott, Increasing tree search efficiency for constraint satisfaction problems, Artificial Intelligence 14 (1980) 263-313.
11. J.N. Hooker, Testing heuristics: we have it all wrong, J. Heuristics 1 (1995) 33-42.
12. A. Kwan, A framework for mapping constraint satisfaction problems to solution methods, Ph.D. Thesis, Department of Computer Science, University of Essex, Colchester (1997).
13. A.K. Mackworth, Consistency in networks or relations, Artificial Intelligence 8 (1977) 99-118.
14. J.J. McGregor, Relational consistency algorithm and their applications in finding subgraph and graph isomorphisms, Inform. Sci. 19 (1979) 229-250.
15. R. Mohr, T.C. Henderson, Arc and path consistency revisited, Artificial Intelligence 28 (1986) 225-233.
16. U. Montanari, Networks of constraints fundamental properties and applications to picture processing, Inform. Sci. 7 (1974) 95-132.
17. B.A. Nadel, Constraint satisfaction algorithms, Comput. Intell. 5 (1989) 188-224.
18. P. Prosser, Hybrid algorithms for the constraint satisfaction problem, Comput. Intell. 9 (1993) 268-299.
19. D. Sabin and B.C. Freuder, Contradicting conventional wisdom in constraint satisfaction, in: Proceedings 11th European Conference on Artificial Intelligence, Amsterdam (1994) 125-129.
20. E.P.K. Tsang, Foundations of Constraint Satisfaction (Academic Press, London, 1993).
21. E.P.K. Tsang, J.E. Borrett and A.C.M. Kwan, An attempt to map the performance of a range of algorithm and heuristic combinations, in: Proceedings Artificial Intelligence and Simulated Behaviour Conference (1995) 203-216.
22. P. Van Hentenryck, M. Dincbas, Forward checking in logic programming, in: Proceedings of the 4th International Conference on Logic Programming, Melbourne (1987) 229-256.
23. P. Van Hentenryck, Y. Deville, C.-M. Teng, A generic arc-consistency algorithm and its specializations, Artificial Intelligence 57 (1992) 291-321.
24. P. van Beek, On the inherent level of local consistency in constraint networks, in: Proceedings AAAI-94, Seattle, WA (1994) 368-373.
25. R. Debruyne and C. Bessière, Some practicable filtering techniques for the constraint satisfaction problem, in: Proceedings IJCAI-97, Nagoya, Japan (August 1997) 412-417.