A constraint programming language for Life-Cycle Engineering

Baldwin, 1987, Design of the CONSUL programming language

Baykan, 1987, An investigation of opportunistic constraint satisfaction in space planning, 1035

Bobrow, 1974, New programming languages for AI research, Comput. Surv., 6, 153, 10.1145/356631.356632

Borning, 1981, The programming language aspects of ThingLab, a constraint-oriented simulation laboratory, ACM Transactions on Programming Languages and Systems, 3, 353, 10.1145/357146.357147

Chronaki, 1990, A front end for CONSUL

Colerauer, 1987, An introduction to Prolog III

Davis, 1987, Constraint propagation with interval labels, Artificial Intelligence, 281, 10.1016/0004-3702(87)90091-9

Dechter, 1986, Learning while searching in constraint satisfaction problems, 178

Dincbas, M., Van Hentenryck, P., Simonis, H.Y., Aggoun, A., Graf, T. and Berthier, F. The constraint logic programming language CHIP, in Proceedings FGCS'88

Ervin, 1987, RoadLab — a constraint based laboratory for road design, Artificial Intelligence in Engineering, 2, 224, 10.1016/0954-1810(87)90193-2

Fox, 1987, Constraint directed search: a case study of job-shop scheduling

Freuder, 1978, Synthesizing constraint expressions, Communications of the ACM, 21, 958, 10.1145/359642.359654

Gosling, 1983, Algebraic Constraints, CMU Technical Report CS-83-132

Gross, 1984, Design as the exploration of constraints, Design Studies, 5, 137, 10.1016/0142-694X(84)90003-6

Havens, 1989, Platypus: a constraint-based reasoning system, 48

Heintze, 1986, CLP(R) and some electrical engineering problems

Holman, C., Borning, A., Khan, K. and Miller, M. Constraints and logic programming, Xeroc PARC Technical Report 86-12-01

Jaffar, 1986, Methodology and implementation of a CLP system

Lassez, 1987, Constraint logic programming and option trading, IEEE Expert, 42, 10.1109/MEX.1987.4307090

Mackworth, 1977, Consistency in networks of relations, Artificial Intelligence, 8, 99, 10.1016/0004-3702(77)90007-8

Mackworth, 1985, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence, 25, 65, 10.1016/0004-3702(85)90041-4

Mittal, 1986, A knowledge-based framework for design

Mohr, 1986, Arc and Path consistency revisited, Artificial Intelligence, 28, 225, 10.1016/0004-3702(86)90083-4

Mulac, 1989, Local propagation as a constraint satisfaction technique

Nelson, 1985, JUNO, a constraint-based graphics system, SIG-GRAPH Computer Graphics, 19, 235, 10.1145/325165.325241

Rowley, 1987, Joshua: uniform access to heterogeneous knowledge structures or why Joshing is better than conniving or planning, 48

Stefik, 1981, Planning with constraints (MOLGEN: Part 1), Artificial Intelligence, 16, 111, 10.1016/0004-3702(81)90007-2

Steinberg, 1987, Design as refinement plus constraint propagation: The VEXED experience, 830

Sussman, 1980, CONSTRAINTS — a language for expressing almost-hierarchical descriptions, Artificial Intelligence, 14, 1, 10.1016/0004-3702(80)90032-6

Sutherland, 1963, SKETCHPAD: a man-machine graphical communication system

Tong, 1987, Toward an engineering science of knowledge-based design, Artificial Intelligence in Engineering, 2, 133, 10.1016/0954-1810(87)90203-2

Zima, 1986, A constraint language and its interpreter, Computer Languages, 11, 65, 10.1016/0096-0551(86)90002-0