Solving large combinatorial problems in logic programming

Bartusch, 1983, Optimierung von Netzplaenen mit Anordungsbeziehungen bei Knappen Betriebsmitteln

Buttner, 1987, Embedding Boolean Expressions into Logic Programming, J. Symbolic Comput., 4, 191, 10.1016/S0747-7171(87)80065-2

Colmerauer, 1986, Note sur Prolog III, 159

Dincbas, 1986, Constraints, Logic Programming and Deductive Databases, 1

Dincbas, 1987, Extending Equation Solving and Constraint Handling in Logic Programming

Dodu, 1969, Sur le Regroupement Optimal des Sommets dans un Réseau Electrique, R.I.R.O., V, 17, 10.1051/ro/196903V100171

Fikes, 1968, A Heuristic Program for Solving Problems Stated as Non-deterministic Procedures

Freuder, 1978, Synthesizing Constraint Expressions, Comm. ACM, 21, 958, 10.1145/359642.359654

Gallaire, 1985, Logic Programming: Further Developments, IEEE Symposium on Logic Programming, 88

Gardner, 1975, Mathematical Games, Sci. Amer., 10.1038/scientificamerican0875-112

Garey, 1979

Gondran, 1984

Haralick, 1980, Increasing Tree Search Efficiency for Constraint Satisfaction Problems, Artificial Intelligence, 14, 263, 10.1016/0004-3702(80)90051-X

Jaffar, 1987, Constraint Logic Programming

Jaffar, 1987, Methodology and Implementation of a CLP System, 196

Kriwaczek, 1984, A Critical Path Analysis Program, 277

Lauriere, 1978, A Language and a Program for Stating and Solving Combinatorial Problems, Artificial Intelligence, 10, 29, 10.1016/0004-3702(78)90029-2

Lauriere, 1986

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

Radermacher, 1985, Scheduling of Projects Networks, Ann. Oper. Res., 4, 227, 10.1007/BF02022042

Simonis, 1987, Using an Extended Prolog for Digital Circuit Design, 165

Steele, 1980, The Definition and Implementation of a Computer Programming Language Based on Constraints

Sussman, 1980, constraints—a language for Expressing Almost-Hierarchical Descriptions, Artificial Intelligence, 14, 1, 10.1016/0004-3702(80)90032-6

Van, 1986, Domains in Logic Programming, 759

Van, 1987, Forward Checking in Logic Programming, 229

Van, 1987, Consistency Techniques in Logic Programming

Van, 1987, A Theoretical Framework for Consistency Techniques in Logic Programming, IJCAI-87, 2

Wos, 1984