×

zbMATH — the first resource for mathematics

Consistency in networks of relations. (English) Zbl 0341.68061

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68N01 General topics in the theory of software
68Q25 Analysis of algorithms and problem complexity
Software:
Algorithm 97
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Aho, A.V.; Hopcroft, J.E.; Ullman, J.D., The design and analysis of computer algorithms, (1974), Addison-Wesley Reading, Mass · Zbl 0286.68029
[2] Bobrow, D.G.; Raphael, B., New programming languages for AI research, Comput. surv., 6, 153-174, (1974) · Zbl 0296.68096
[3] Burstall, R.M., A program for solving word sum puzzles, Comput. J., 12, 48-51, (1969)
[4] Dahl, O.J.; Djikstra, E.W.; Hoare, C.A.R., Structured programming, (1972), Academic Press · Zbl 0267.68001
[5] Eastman, C.M., Automated space planning, Artificial intelligence, 4, 41-64, (1973)
[6] Fikes, R.E., REF-ARF: A system for solving problems stated as procedures, Artificial intelligence, 1, 27-120, (1970) · Zbl 0203.49403
[7] Floyd, R.W., Nondeterministic algorithms, J. assoc. comput. Mach., 14, 636-644, (1967) · Zbl 0153.47006
[8] Floyd, R.W., Algorithm 97: shortest path, Comm. ACM, 5, 345, (1962)
[9] Garey, M.R.; Johnson, D.S.; Stockmeyer, L., Some simplified NP-complete problems, (), 47-63 · Zbl 0338.05120
[10] Gaschnig, J.A., Constraint satisfaction method for inference making, ()
[11] Haims, M., On the optimum two-dimensional allocation problem, () · Zbl 0217.26904
[12] Mackworth, A.K., Using models to see, (), 127-137
[13] Mackworth, A.K., Interpreting pictures of polyhedral scenes, Artificial intelligence, 4, 121-137, (1973)
[14] Montanari, U., Networks of constraints: fundamental properties and applications to pictures processing, Inform. sci., 7, 95-132, (1974) · Zbl 0284.68074
[15] Montanari, U., Optimization methods in image processing, (), 727-732
[16] Nilsson, N.J., Problem-solving methods in artificial intelligence, (1971), McGraw-Hill
[17] ()
[18] Rosenfeld, A.; Hummel, A.; Zucker, S.W., Scene labelling by relaxation operations, () · Zbl 0335.68070
[19] Sussman, G.J.; McDermott, D.V., Why conniving is better than planning, ()
[20] Sussman, G.J., The FINDSPACE problem, ()
[21] Suzman, P. and Barrow, H.G. Private communication, 1975.
[22] Turner, K.J., Computer perception of curved objects using a television camera, ()
[23] Unger, S.H., GIT—a heuristic program for testing pairs of directed line graphs for isomorphism, Comm. ACM, 7, 26-34, (1964) · Zbl 0123.33710
[24] Waltz, D.L., Generating semantic descriptions from drawings of scenes with shadows, ()
[25] Warshall, S., A theorem on Boolean matrices, J. assoc. comput. Mach., 9, 11-12, (1962) · Zbl 0118.33104
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.