Survey: Practical Applications of Constraint Programming

[1]  Mark S. Fox,et al.  Intelligent Scheduling , 1998 .

[2]  David A. McAllester,et al.  Solving Polynomial Systems Using a Branch and Prune Approach , 1997 .

[3]  Pierre-Alain YVARS,et al.  SARTRE : A Computer Aided Design Tool for Robotized Production Lines , 1997 .

[4]  Peter van Beek,et al.  A Theoretical Evaluation of Selected Backtracking Algorithms , 1995, IJCAI.

[5]  Pascal Van Hentenryck.  Constraint Solving for Combinatorial Search Problems: A Tutorial , 1995, CP.

[6]  Helmut Simonis,et al.  The CHIP System and Its Applications , 1995, CP.

[7]  Touraïvane.  Constraint Programming and Industrial Applications , 1995, CP.

[8]  Jean-François Puget,et al.  Applications of Constraint Programming , 1995, CP.

[9]  Roland H. C. Yap,et al.  An Optimizing Compiler for CLP(R) , 1995, CP.

[10]  Eugene C. Freuder,et al.  A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks , 1995, CP.

[11]  Makoto Yokoo,et al.  Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems , 1995, CP.

[12]  Micha Meier.  Debugging Constraint Programs , 1995, CP.

[13]  Gabriel M. Kuper,et al.  Towards the Definition of a Spatial Object-Oriented Data Model with Constraints , 1995, CDB.

[14]  Helmut Simonis,et al.  Application Development with the CHIP System , 1995, WLP.

[15]  Philippe Baptiste,et al.  A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling , 1995, IJCAI.

[16]  Alexander Brodsky,et al.  The LyriC language: querying constraint objects , 1995, SIGMOD '95.

[17]  I. B. Crabtree.  Resource scheduling: comparing simulated annealing with constraint programming , 1995 .

[18]  Francesca Rossi,et al.  Principles and Practice of Constraint Programming — CP '95 , 1995, Lecture Notes in Computer Science.

[19]  SchedulingMark WallaceNovember,et al.  Constraints as a Tool for Distributed , 1995 .

[20]  Pascal Van Hentenryck,et al.  CLP(Intervals) Revisited , 1994, ILPS.

[21]  Makoto Yokoo,et al.  Weak-Commitment Search for Solving Constraint Satisfaction Problems , 1994, AAAI.

[22]  François Fages,et al.  Handling Preferences in Constraint Logic Programming with Relational Optimization , 1994, PLILP.

[23]  Antoine Rauzy.  Notes on the Design of an Open Boolean Solver , 1994, ICLP.

[24]  François Laburthe,et al.  Improved CLP Scheduling with Task Intervals , 1994, ICLP.

[25]  Pascal Van Hentenryck,et al.  Design, Implementation, and Evaluation of the Constraint Language cc(FD) , 1994, Constraint Programming.

[26]  BendersDecompositionJ. N. Hooker,et al.  Verifying Logic Circuits by Benders Decomposition , 1994 .

[27]  Gert Smolka,et al.  Object-Oriented Concurrent Constraint Programming in Oz , 1993, KI.

[28]  Raymond Bisdorff,et al.  Industrial Disposing Problem Solved in CHIP , 1993, ICLP.

[29]  Philippe Codognet,et al.  An Incremental Hierarchical Constraint Solver , 1993, PPCP.

[30]  Mark Wallace,et al.  Applying Constraints for Scheduling , 1993, NATO ASI CP.

[31]  Radha Jagadeesan,et al.  Programming in Timed Concurrent Constraint Languages , 1993, NATO ASI CP.

[32]  Michael Gleicher,et al.  Practical Issues in Graphical Constraints , 1993, PPCP.

[33]  Michael Sannella,et al.  The SkyBlue Constraint Solver and Its Applications , 1993, PPCP.

[34]  Isabel F. Cruz.  Expressing Constraints for Data Display Specification: A Visual Approach , 1993 .

[35]  Eugene C. Freuder.  Exploiting Structure in Constraint Satisfaction Problems , 1993, NATO ASI CP.

[36]  ephane DonikianIRISACampus de Beaulieu.  Constraint Management in a Declarative Design Method for 3D Scene Sketch Modeling , 1993 .

[37]  Thom W. Frühwirth,et al.  Terminological Reasoning with Constraint Handling Rules , 1993, PPCP.

[38]  Nicolas Beldiceanu,et al.  Extending CHIP in order to solve complex scheduling and placement problems , 1993, JFPL.

[39]  Pascal Van Hentenryck.  Scheduling and Packing in the Constraint Language cc(FD) , 1992 .

[40]  Vijay A. Saraswat.  The category of constraint systems is Cartesian-closed , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[41]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[42]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[43]  Philippe Codognet,et al.  A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking , 1993, WCLP.

[44]  Eero Hyvönen,et al.  Interval constraint spreadsheets for financial planning , 1991 .

[45]  Mark Wallace.  Compiling Integrity Checking into Update Procedures , 1991, IJCAI.

[46]  Peter C. Cheeseman,et al.  Where the Really Hard Problems Are , 1991, IJCAI.

[47]  Prakash Panangaden,et al.  The semantic foundations of concurrent constraint programming , 1991, POPL '91.

[48]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[49]  Bjørn N. Freeman-Benson,et al.  An incremental constraint solver , 1990, CACM.

[50]  Alain Colmerauer,et al.  An introduction to Prolog III , 1989, CACM.

[51]  A. Borning,et al.  Constraint technology for user-interface construction in ThingLab II , 1989, OOPSLA 1989.

[52]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[53]  Pascal Van Hentenryck,et al.  Simulation of Hybrid Circuits in Constraint Logic Programming , 1989, IJCAI.

[54]  Richard J. Wallace,et al.  Partial Constraint Satisfaction , 1989, IJCAI.

[55]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[56]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[57]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[58]  Pascal Van Hentenryck,et al.  Solving the Car-Sequencing Problem in Constraint Logic Programming , 1988, ECAI.

[59]  Bernard A. Nadel,et al.  Tree search and ARC consistency in constraint satisfaction algorithms , 1988 .

[60]  Pascal Van Hentenryck,et al.  Solving a Cutting-Stock Problem in Constraint Logic Programming , 1988, ICLP/SLP.

[61]  Pascal Van Hentenryck,et al.  The Constraint Logic Programming Language CHIP , 1988, FGCS.

[62]  Wolfram Büttner,et al.  Embedding Boolean Expressions into Logic Programming , 1987, J. Symb. Comput..

[63]  Helmut Simonis,et al.  Using Logic Programming for Fault Diagnosis in Digital Circuits , 1987, GWAI.

[64]  Ernest Davis,et al.  Constraint Propagation with Interval Labels , 1987, Artif. Intell..

[65]  Michael J. Maher.  Logic Semantics for a Class of Committed-Choice Programs , 1987, ICLP.

[66]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[67]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[68]  Alan Borning,et al.  The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory , 1981, TOPL.

[69]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[70]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[71]  Eugene C. Freuder.  Synthesizing constraint expressions , 1978, CACM.

[72]  Jean-Louis Laurière,et al.  A Language and a Program for Stating and Solving Combinatorial Problems , 1978, Artif. Intell..

[73]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

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

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

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

[77]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[78]  E. L. Lawler,et al.  Branch-and-Bound Methods: A Survey , 1966, Oper. Res..

[79]  Solomon W. Golomb,et al.  Backtrack Programming , 1965, JACM.

[80]  Ivan E. Sutherland,et al.  Sketchpad a man-machine graphical communication system , 1988, DAC 1988.