A Brief Overview of Over-Constrained Systems

We survey previous work on resolving over-constrained systems, and previous theories and frameworks for expressing partial, preferential, and hierarchical information. We provide an extensive bibliography.

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

[2]  Jean-Marie Jacquet,et al.  Transformations Between HCLP and PCSP , 1996, CP.

[3]  Thom W. Frühwirth,et al.  Contraint Logic Programming - An Informal Introduction , 1992, Logic Programming Summer School.

[4]  Jf Baldwin,et al.  Encyclopedia of AI , 1992 .

[5]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[6]  Eugene C. Freuder,et al.  Conjunctive Width Heuristics for Maximal Constraint Satisfaction , 1993, AAAI.

[7]  Rina Dechter,et al.  Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition , 1990, Artif. Intell..

[8]  David S. Johnson,et al.  Some Simplified NP-Complete Graph Problems , 1976, Theor. Comput. Sci..

[9]  Harvey J. Greenberg,et al.  An empirical analysis of infeasibility diagnosis for instances of linear programming blending models , 1992 .

[10]  Rina Dechter,et al.  Dead-End Driven Learning , 1994, AAAI.

[11]  Ian F. C. Smith,et al.  Dynamic Constraint Satisfaction with Conflict Management in Design , 1995, Over-Constrained Systems.

[12]  James Ignizio,et al.  Introduction to Linear Goal Programming , 1985 .

[13]  Mark Ryan,et al.  Belief Revision and Ordered Theory Presentations , 1996, Logic, Action, and Information.

[14]  Greg Nelson,et al.  Juno, a constraint-based graphics system , 1985, SIGGRAPH.

[15]  Akira Aiba,et al.  The Hierarchical Constraint Logic Language CHAL , 1800 .

[16]  D. Dubois,et al.  The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[17]  J. Christopher Beck,et al.  A Schema for Constraint Relaxation with Instantiations for Partial Constraint Satisfaction and Schedule Optimization , 1994 .

[18]  Christian Bessiere,et al.  Arc-Consistency in Dynamic Constraint Satisfaction Problems , 1991, AAAI.

[19]  Dana S. Scott,et al.  Concurrent constraint programming languages , 1989 .

[20]  Silvia Breitinger,et al.  Using Constraint Logic Programming for Industrial Scheduling Problems , 1995, Logic Programming: Formal Methods and Practical Applications.

[21]  Olivier Coudert,et al.  A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver , 1991, IJCAI.

[22]  Sebastian Hunt,et al.  Composition in Hierarchical CLP , 1995, IJCAI.

[23]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[24]  François Fages,et al.  A Reactive Constraint Logic Programming Scheme , 1995, ICLP.

[25]  François Fages.  On the Semantics of Optimization Predicates in CLP Languages , 1993, FSTTCS.

[26]  Satoshi Matsuoka,et al.  Locally Simultaneous Constraint Satisfaction , 1994, PPCP.

[27]  Martin C. Cooper.  Visual occlusion and the interpretation of ambiguous pictures , 1992 .

[28]  Thomas Schiex,et al.  Solution Reuse in Dynamic Constraint Satisfaction Problems , 1994, AAAI.

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

[30]  Rina Dechter,et al.  Tree Clustering for Constraint Networks , 1989, Artif. Intell..

[31]  Maurizio Gabbrielli,et al.  A Compositional Semantics for Logic Programs , 1994, Theor. Comput. Sci..

[32]  John H. Maloney.  Using constraints for user interface construction , 1992 .

[33]  Eugene C. Freuder,et al.  Partial Constraint Satisfaction , 1989, IJCAI.

[34]  Henri Beringer,et al.  Intelligent Backtracking for CLP Languages: An Application to CLP(R) , 1991, ISLP.

[35]  James Arthur Gosling,et al.  Algebraic constraints , 1983 .

[36]  Bart Kosko,et al.  Adaptive fuzzy systems for target tracking , 1992 .

[37]  Francesca Rossi,et al.  Constraint Satisfaction, Constraint Programming, and Concurrency , 1993, PPCP.

[38]  Hector J. Levesque,et al.  A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.

[39]  Frances Paulisch,et al.  Using constraints to achieve stability in automatic graph layout algorithms , 1990, CHI '90.

[40]  Eugene C. Freuder,et al.  Improved relaxation and search methods for approximate constraint satisfaction with a maximin criter , 1990 .

[41]  Mark Ryan,et al.  Defaults and revision in structured theories , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[42]  John W. Chinneck,et al.  MINOS(IIS) version 4.2: Analyzing infeasibilities in linear programs , 1995 .

[43]  Eugene C. Freuder,et al.  A debugging assistant for incompletely specified constraint network knowledge bases , 1993 .

[44]  Harvey J. Greenberg,et al.  Diagnosing Infeasibility in Min-cost Network Flow Problems Part II: Primal Infeasibility , 1988 .

[45]  Bjørn N. Freeman-Benson,et al.  Constraint Hierarchies , 1992, LISP Symb. Comput..

[46]  Sidney G. Winter,et al.  Naive Set Theory , 2021, Essential Mathematics for Undergraduates.

[47]  Hans W. Guesgen,et al.  A formal framework for weak constraint satisfaction based on fuzzy sets , 1994, Proceedings of ANZIIS '94 - Australian New Zealnd Intelligent Information Systems Conference.

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

[49]  Bernard A. Nadel,et al.  Constraint satisfaction algorithms 1 , 1989, Comput. Intell..

[50]  Ian F. C. Smith,et al.  Strategies for conflict management in preliminary engineering design , 1994 .

[51]  Thomas Schiex,et al.  Nogood Recording for Static and Dynamic Constraint Satisfaction Problems , 1994, Int. J. Artif. Intell. Tools.

[52]  Mark S. Fox,et al.  Constraint-Directed Search: A Case Study of Job-Shop Scheduling , 1987 .

[53]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[54]  Alan Borning,et al.  Constraint hierarchies , 1992 .

[55]  J. Dekleer.  An assumption-based TMS , 1986 .

[56]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

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

[58]  Fabrice Bouquet,et al.  Solving Over-Constrained CSPs Using Weighted OBDDs , 1995, Over-Constrained Systems.

[59]  Bjørn N. Freeman-Benson,et al.  The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces , 1995, CP.

[60]  Richard J. Wallace,et al.  Cascaded Directed Arc Consistency and No-Good Learning for the Maximal Constraint Satisfaction Problem , 1995, Over-Constrained Systems.

[61]  Francesca Rossi,et al.  Constraint Relaxation may be Perfect , 1991, Artif. Intell..

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

[63]  Akira Aiba,et al.  Computing Soft Constraints by Hierarchical Constraint Logic Programming , 1993 .

[64]  Michael Maher.  A General Framework for Integrating HCLP and PCSP , 1996 .

[65]  Christopher J. Van Wyk.  A language for typesetting graphics , 1980 .

[66]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[67]  John W. Chinneck,et al.  Locating Minimal Infeasible Constraint Sets in Linear Programs , 1991, INFORMS J. Comput..

[68]  Johan de Kleer,et al.  A Comparison of ATMS and CSP Techniques , 1989, IJCAI.

[69]  Alan Borning,et al.  Hierarchical Constraint Logic Programming , 1994, J. Log. Program..

[70]  Brian Falkenhainer,et al.  Dynamic Constraint Satisfaction Problems , 1990, AAAI.

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

[72]  Michael J. Maher,et al.  Over-Constrained Systems , 1995, Lecture Notes in Computer Science.

[73]  Randal E. Bryant,et al.  Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.

[74]  Bradley T. Vander Zanden.  An Incremental Planning Algorithm for Ordering Equations in a Multilinear System of Constraints , 1988 .

[75]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[76]  Ken Satoh.  Formalizing Soft Constraints by Interpretation Ordering , 1990, ECAI.

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

[78]  V. N. Rao,et al.  Solving constraint satisfaction problems using finite state automata , 1992, AAAI 1992.

[79]  Pascal Van Hentenryck.  Incremental Constraint Satisfaction in Logic Programming , 1990, ICLP.

[80]  Hans W. Guesgen,et al.  Experiences in Solving Constraint Relaxation Networks with Boltzmann Machines , 1995, Over-Constrained Systems.

[81]  Hans W. Guesgen,et al.  A Perspective of Constraint-Based Reasoning , 1992, Lecture Notes in Computer Science.

[82]  Michael Jampel.  A compositional theory of constraint hierarchies (Operational semantics) , 1995 .

[83]  Patrice Boizumault,et al.  Implementing Constraint Relaxation over Finite Domains using ATMS , 1996 .

[84]  John W. Chinneck,et al.  Analyzing infeasible nonlinear programs , 1995, Comput. Optim. Appl..

[85]  Harvey J. Greenberg,et al.  How to Analyze the Results of Linear Programs-Part 3: Infeasibility Diagnosis , 1993 .

[86]  T. Pavlidis,et al.  Fuzzy sets and their applications to cognitive and decision processes , 1977 .

[87]  Harvey J. Greenberg,et al.  Approaches to Diagnosing Infeasible Linear Programs , 1991, INFORMS J. Comput..

[88]  Hirotaka Mizuno,et al.  Applications of fuzzy logic/neural network to securities trading decision support system , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[89]  Walter F. Tichy,et al.  Edge: An extendible graph editor , 1990, Softw. Pract. Exp..

[90]  Roger Mohr,et al.  Good Old Discrete Relaxation , 1988, ECAI.

[91]  Boi Faltings,et al.  Global Consistency for Continuous Constraints , 1994, ECAI.

[92]  Alan Borning,et al.  Constraint-Based Tools for Building User Interfaces , 1986, ACM Trans. Graph..

[93]  Fujio Tsutsumi.  An Efficient Algorithm of Logic Programming with Constraint Hierarchy , 1994, CCL.

[94]  James Bowen,et al.  Lexical Imprecision in Fuzzy Constraint Networks , 1992, AAAI.

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

[96]  L. Zadeh.  Calculus of fuzzy restrictions , 1996 .

[97]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[98]  Fred Glover,et al.  Tabu Search: A Tutorial , 1990 .

[99]  A. Robinson.  Non-standard analysis , 1966 .

[100]  Thomas Schiex,et al.  Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?" , 1992, UAI.

[101]  Rina Dechter,et al.  Belief Maintenance in Dynamic Constraint Networks , 1988, AAAI.

[102]  Thomas Schiex,et al.  Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.

[103]  P. M. Wognum,et al.  Diagnosing and Solving Over-Determined Constraint Satisfaction Problems , 1993, IJCAI.

[104]  B.N. Freeman-Benson,et al.  The DeltaBlue algorithm: an incremental constraint hierarchy solver , 1989, Eighth Annual International Phoenix Conference on Computers and Communications. 1989 Conference Proceedings.

[105]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[106]  John W. Chinneck,et al.  Computer Codes for the Analysis of Infeasible Linear Programs , 1996 .

[107]  Philippe Jégou,et al.  Synthia: Assisted Design of Peptide Synthesis Plans , 1991 .

[108]  Jacques Cohen,et al.  Constraint logic programming languages , 1990, CACM.

[109]  Robert M. Haralick,et al.  Structural Descriptions and Inexact Matching , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[110]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[111]  Richard J. Wallace,et al.  Directed Arc Consistency Preprocessing , 1995, Constraint Processing, Selected Papers.

[112]  Kim Marriott,et al.  Independence in Constraint Logic Programs , 1993, ILPS.

[113]  John W. Chinneck,et al.  MINOS(IIS): Infeasibility analysis using MINOS , 1994, Comput. Oper. Res..

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

[115]  Armin Wolf.  Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems , 1995, Over-Constrained Systems.

[116]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[117]  B. Freeman-Benson,et al.  DeltaStar: a general algorithm for incremental satisfaction of constraint hierarchies , 1992, Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings].

[118]  Fumio Mizoguchi,et al.  A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design , 1990, NACLP.

[119]  Hans W. Guesgen,et al.  Relaxing Constraint Networks to Resolve Inconsistencies , 1988, GWAI.

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

[121]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[122]  Bjørn N. Freeman-Benson,et al.  Multi‐way versus one‐way constraints in user interfaces: Experience with the deltablue algorithm , 1993, Softw. Pract. Exp..

[123]  Thomas Schiex,et al.  Selecting preferred solutions in Fuzzy Constraint Satisfaction Problems , 1993 .

[124]  Eugene C. Freuder,et al.  The Complexity of Constraint Satisfaction Revisited , 1993, Artif. Intell..

[125]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

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

[127]  Jean-Claude Latombe,et al.  Making Compromises Among Antagonist Constraints in a Planner , 1985, Artif. Intell..

[128]  Dimitrios M. Thilikos,et al.  Partiality and Approximation Schemes for Local Consistency in Networks of Constraints , 1995, FSTTCS.

[129]  Abdul Sattar,et al.  Specifying Over-Constrained Problems in Default Logic , 1995, Over-Constrained Systems.

[130]  James P. Ignizio,et al.  Generalized goal programming An overview , 1983, Comput. Oper. Res..

[131]  Christian Bessiere.  Arc-Consistency for Non-Binary Dynamic CSPs , 1992, ECAI.

[132]  Z. Ruttkay.  Fuzzy constraint satisfaction , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.

[133]  Didier Dubois,et al.  Fuzzy sets and systems ' . Theory and applications , 2007 .

[134]  Thom W. Frühwirth,et al.  Constraint Logic Programming , 1992 .

[135]  Michael J. Maher,et al.  Constraint Hierarchies and Logic Programming , 1989, ICLP.

[136]  Patrick Prosser,et al.  A constraint maintenance system for the distributed resource allocation problem , 1992 .

[137]  Patrice Boizumault,et al.  Efficient labeling and Constraint Relaxation for Solving Time Tabling Problems , 1994 .

[138]  Mark W. Krentel.  The Complexity of Optimization Problems , 1988, J. Comput. Syst. Sci..

[139]  Bart Selman,et al.  An Empirical Study of Greedy Local Search for Satisfiability Testing , 1993, AAAI.

[140]  Michael J. Maher,et al.  Expanding Query Power in Constraint Logic Programming Languages , 1989, NACLP.

[141]  Philippe Codognet,et al.  Boolean Constraint Solving Using clp(FD) , 1993, ILPS.

[142]  M. Lacroix,et al.  Preferences; Putting More Knowledge into Queries , 1987, VLDB.

[143]  H. Moulin.  Axioms of Cooperative Decision Making , 1988 .

[144]  Azriel Rosenfeld,et al.  Scene Labeling by Relaxation Operations , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[145]  Steven Minton,et al.  Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems , 1992, Artif. Intell..

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

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

[148]  Guy L. Steele,et al.  The definition and implementation of a computer programming language based on constraints , 1980 .

[149]  Bjørn N. Freeman-Benson.  Constraint imperative programming , 1992 .

[150]  Jérôme Lang,et al.  Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach , 1993, ECSQARU.

[151]  Didier Dubois,et al.  A class of fuzzy measures based on triangular norms , 1982 .

[152]  Harvey J. Greenberg,et al.  Diagnosing Infeasibility in Min-cast Network Flow Problems Part I: Dual Infeasibility , 1986 .

[153]  Michael Sannella.  Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints , 1994, PPCP.

[154]  Dimitrios M. Thilikos,et al.  Partial Arc Consistency , 1995, Over-Constrained Systems.

[155]  Alan Borning,et al.  Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison , 1989, NACLP.

[156]  Daniel C. Dennett,et al.  Cognitive Wheels: The Frame Problem of AI , 1990, The Philosophy of Artificial Intelligence.

[157]  Eugene C. Freuder.  A Sufficient Condition for Backtrack-Free Search , 1982, JACM.

[158]  Francesca Rossi,et al.  Constraint Solving over Semirings , 1995, IJCAI.

[159]  Lluis Godo,et al.  Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints , 1995, IJCAI.

[160]  Ian F. C. Smith,et al.  Management of conflict for preliminary engineering design tasks , 1995, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

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

[162]  Martin Charles Golumbic,et al.  Optimization Algorithms for Student Scheduling via Constraint Satisfiability , 1990, Computer/law journal.

[163]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[164]  Andreas Krall,et al.  Optimal Instruction Scheduling using Constraint Logic Programming , 1991, PLILP.

[165]  Eugene C. Freuder.  Backtrack-free and backtrack-bounded search , 1988 .

[166]  Boi Faltings,et al.  Arc-Consistency for Continuous Variables , 1994, Artif. Intell..

[167]  Eugene C. Freuder,et al.  Heuristic Methods for Over-Constrained Constraint Satisfaction Problems , 1995, Over-Constrained Systems.

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

[169]  Pascal Van Hentenryck,et al.  A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..

[170]  Owen V. Evans.  Factory Scheduling Using Finite Domains , 1992, Logic Programming Summer School.

[171]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[172]  Thomas Schiex,et al.  Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison , 1995, Over-Constrained Systems.

[173]  Pedro Barahona,et al.  Defeasible Constraint Solving , 1995, Over-Constrained Systems.

[174]  Ellis S. Cohen,et al.  Constraint-Based Tiled Windows , 1986, IEEE Computer Graphics and Applications.

[175]  Eugene C. Freuder,et al.  An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space , 1992, AAAI.

[176]  David W. Etherington.  Formalizing Nonmonotonic Reasoning Systems , 1987, Artif. Intell..

[177]  Bjørn N. Freeman-Benson,et al.  The design and implementation of Kaleidoscope'90-A constraint imperative programming language , 1992, Proceedings of the 1992 International Conference on Computer Languages.

[178]  Hans-Joachim Goltz,et al.  Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling , 1995, CP.