Consistency in Networks of Relations

[1]  Murray J. Haims,et al.  On the Optimum Two-Dimensional Allocation Problem , 1978, 15th Design Automation Conference.

[2]  Daniel G. Bobrow,et al.  New Programming Languages for Artificial Intelligence Research , 1974, CSUR.

[3]  Alan K. Mackworth.  Using models to see , 1974 .

[4]  David S. Johnson,et al.  Some simplified NP-complete problems , 1974, STOC '74.

[5]  Kenneth J. Turner,et al.  Computer perception of curved objects using a television camera , 1974 .

[6]  Ugo Montanari,et al.  Optimization Methods in Image Processing , 1974, IFIP Congress.

[7]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[8]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[9]  Alan K. Mackworth.  Interpreting Pictures of Polyhedral Scenes , 1973, IJCAI.

[10]  A. Macworth.  Interpreting pictures of polyhedral scenes , 1973 .

[11]  Charles M. Eastman,et al.  Automated Space Planning , 1973, Artif. Intell..

[12]  David L. Waltz,et al.  Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .

[13]  Gerald Jay Sussman,et al.  Why Conniving is Better than Planning , 1972 .

[14]  Edsger W. Dijkstra,et al.  Structured programming , 1972, A.P.I.C. Studies in data processing.

[15]  Gerald Jay Sussman.  The FINDSPACE Problem , 1971 .

[16]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[17]  Richard Fikes,et al.  REF-ARF: A System for Solving Problems Stated as Procedures , 1970, Artif. Intell..

[18]  Rod M. Burstall,et al.  A Program for Solving Word Sum Puzzles , 1969, Comput. J..

[19]  Robert W. Floyd,et al.  Nondeterministic Algorithms , 1967, JACM.

[20]  Stephen H. Unger,et al.  GIT—a heuristic program for testing pairs of directed line graphs for isomorphism , 1964, CACM.

[21]  Stephen J. Garland,et al.  Algorithm 97: Shortest path , 1962, Commun. ACM.

[22]  Stephen Warshall,et al.  A Theorem on Boolean Matrices , 1962, JACM.