A generic arc-consistency algorithm and its specializations

Artificial Intelligence

Volumn 57, Issue 2-3, 1992, Pages 291-321

  Van Hentenryck, Pascal ^a   Deville, Yves ^b   Teng, Choh Man ^a  

^a BROWN UNIVERSITY   (United States)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; LOGIC PROGRAMMING; SIGNAL FILTERING AND PREDICTION;

ARC CONSISTENCY ALGORITHM AC-5; CONSTRAINT LOGIC PROGRAMMING LANGUAGES; CONSTRAINT SATISFACTION PROBLEMS; WALTZ'S FILTERING ALGORITHM;

ALGORITHMS;

EID: 0026941401     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(92)90020-X     Document Type: Article

References (27)

1. Network-based heuristics for constraint satisfaction problems
2. An efficient are consistency algorithm for a class of CSP problems
3. Solving large combinatiorial problems in logic programming
4. The constraint logic programming language CHIP
5. Synthesizing constraint expressions
6. A constraint satisfaction method for inference making
7. Increasing tree search efficiency for constraint satisfaction problems
8. Methodology and implementation of a CLP system
9. On the parallel complexity of discrete relaxation in constraint satisfaction networks
10. A language and a program for stating and solving combinatorial problems
11. Consistency in networks of relations
12. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems
13. Good old discrete relaxation
14. Arc and path consistency revisited
15. Networks of constraints: fundamental properties and applications to picture processing
16. An efficient algorithm for the solution of hierarchical networks of constraints
17. Constraint satisfaction algorithms
18. Arc consistency for factorable relations
19. Amortized computational complexity
20. A framework for consistency techniques in logic programming
21. Logic Programming Series
22. Domains in logic programming
23. Generating semantic descriptions from drawings of scenes with shadows