Running Efficiently Arc Consistency
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Arc and path consistency revisitedArtificial Intelligence, 1986
- The complexity of some polynomial network consistency algorithms for constraint satisfaction problemsArtificial Intelligence, 1985
- Symbolic reasoning among 3-D models and 2-D imagesArtificial Intelligence, 1981
- Synthesizing constraint expressionsCommunications of the ACM, 1978
- A language and a program for stating and solving combinatorial problemsArtificial Intelligence, 1978
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977
- Consistency in networks of relationsArtificial Intelligence, 1977
- Networks of constraints: Fundamental properties and applications to picture processingInformation Sciences, 1974