Abstract
Many problems in Artificial Intelligence, Operations Research and Symbolic Logic can be seen as special cases of this general NP-complete problem; for example, some problems that are naturally viewed in this way are scene labeling and scene matching or more generally, the relational homomorphism problem, finding spanning trees and Euler tours in a graph, space planning problems, data-base consistency-maintenance, query-answering and redundancy-checking and many puzzles such as cryptarithmetic. Other examples are: the Boolean Satisfiability problems. Graph and Sub-graph Isomorphism detection, the graph coloring problem, packing problems, finding Hamiltonian circuits in a graph and edge detection <65> in a scene.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Nudel. B.A. Consistent-labeling problems and their algorithms: expected-complexities and theory-based heuristics. Artificial Intelligence 20. 1983. Special issue on Search and Heuristics, in memory of John Gaschnig; to appear.
Stefik, M.J. Planning with constraints (Molgen: part 1). Artificial Intelligence 14, 1980
Waltz, D. L. Understanding line drawings of scenes with shadows. In Winston, P.H. (editor). The Psychology of Computer Vision. McGraw-Hill, New York, 1975.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bundy, A., Wallen, L. (1984). Constraint Satisfaction And Propagation. In: Bundy, A., Wallen, L. (eds) Catalogue of Artificial Intelligence Tools. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96868-6_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-96868-6_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13938-6
Online ISBN: 978-3-642-96868-6
eBook Packages: Springer Book Archive