@ARTICLE{AbdrakhimovMantsivoda93, AUTHOR = {Ilya Abdrakhimov and Andrei Mantsivoda}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {215--222}, TITLE = {{Intelligent Backtracking in Flang}}, YEAR = {1993}, LOCATION = {MM} } @INPROCEEDINGS{AbeckerHanschke93, AUTHOR = {Andreas Abecker and Philipp Hanschke}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {77--92}, TITLE = {{TaxLog: A flexible Architecture for Logic Programming with structured Types and Constraints}}, YEAR = {1993} } @TECHREPORT{AitKaciPodelski91, AUTHOR = {Hassan A\"it-Kaci and Andreas Podelski}, ADDRESS = {85 avenue Victor Hugo, 92563 Rueil-Malmaison Cedex, France}, INSTITUTION = {Digital Equipment Corporation,Research Laboratory, Paris}, MONTH = {June}, NUMBER = {RR 11}, TITLE = {Towards a Meaning of LIFE}, YEAR = {1991} } @ARTICLE{Allen83, AUTHOR = {J. Allen}, JOURNAL = {Communications of the ACM}, NUMBER = {11}, PAGES = {832--843}, TITLE = {Maintaining Knowledge about Temporal Intervals}, VOLUME = {26}, YEAR = {1983}, KEYWORDS = {temporal knowledge, temporal reasoning, situation calculus, time points, time intervals, maintaining temporal relations, reference intervals}, LOCATION = {MM} } @TECHREPORT{Aronsson93, AUTHOR = {Martin Aronsson}, ADDRESS = {SICS, Box 1263, S-164 28 Kista, Sweden}, INSTITUTION = {Swedish Institute of Computer Science}, MONTH = mar, NUMBER = {R93:02}, TITLE = {{Implementational Issues in GCLA: A-Sufficiency and Definiens Operation}}, YEAR = {1993} } @INPROCEEDINGS{Aurora88, AUTHOR = {E. {Lusk et al.}}, ADDRESS = {Tokyo, Japan}, BOOKTITLE = {Proc. FGCS'88}, MONTH = {December}, TITLE = {The Aurora Or-Parallel Prolog System}, YEAR = {1988}, KEYWORDS = {Aurora,or-parallelism,Prolog}, LOCATION = {nowhere} } @ARTICLE{AusielloItaliano91, AUTHOR = {G. Ausiello and G. F. Italiano}, JOURNAL = {The Journal of Logic Programming}, PAGES = {69--90}, TITLE = {On--Line Algorithms for Polynomially Solvable Satisfiability Problem}, VOLUME = {10}, YEAR = {1991}, KEYWORDS = {horn formulae, directed hypergraphs, satisfiability}, LOCATION = {MM} } @INPROCEEDINGS{BakkerDikker+93, AUTHOR = {{R. R.} Bakker and F. Dikker and G. Tempelman and {P. M} Wognum}, BOOKTITLE = {\cite{IJCAI93}}, TITLE = {{Diagnosing and Solving over-determined Constraint Satisfaction Problems}}, YEAR = {1993} } @TECHREPORT{Beck92, AUTHOR = {Howard Beck}, ADDRESS = {AI Applications Institute, Univ. of Edinburgh}, INSTITUTION = {AIAI}, MONTH = dec, NOTE = {published in AAAI Sping Symposium, March 1992}, NUMBER = {AIAI-TR-118}, TITLE = {{Constraint Monitoring in {\sc Tosca}}}, YEAR = {1992} } @TECHREPORT{Beck93, AUTHOR = {Howard Beck}, ADDRESS = {AI Applications Institute, Univ. of Edinburgh}, INSTITUTION = {AIAI}, MONTH = jan, NOTE = {presented at NSF Dynamic Scheduling Workshop, Jan. 1993}, NUMBER = {AIAI-TR-121}, TITLE = {{The Management of Job-Shop Scheduling Constraints in {\sc Tosca}}}, YEAR = {1993} } @INPROCEEDINGS{Beierle92, AUTHOR = {Christoph Beierle}, BOOKTITLE = {\cite{LPSS92}}, PAGES = {80--90}, TITLE = {{Knowledge based PPS Applications in {\sc Protos-L}}}, YEAR = {1992}, LOCATION = {MM} } @INPROCEEDINGS{BensonFreuder92, AUTHOR = {{Brent W.} Benson and {Eugene C.} Freuder}, BOOKTITLE = {Proceedings of ECAI'92}, EDITOR = {B. Neumann}, PAGES = {28--30}, TITLE = {Interchangeability Preprocessing can improve Forward Checking Search}, YEAR = {1992} } @INPROCEEDINGS{BeringerDeBacker93, AUTHOR = {Henri Beringer and Bruno {De Backer}}, BOOKTITLE = {\cite{IJCAI93}}, INSTITUTION = {Swedish Institute of Computer Science}, TITLE = {{Satisfiability of Boolean Formulas over linear Constraints}}, PAGES = {296--301}, YEAR = {1993} } @INPROCEEDINGS{BeringerPorcher89, AUTHOR = {H. Beringer and F. Porcher}, BOOKTITLE = {Proc. of ICLP 89}, PAGES = {131--148}, TITLE = {{A Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory)}}, YEAR = {1989}, KEYWORDS = {CLP, COSYLOG, concepts, functional terms, TAXLOG, LOGIN}, LOCATION = {MM} } @INPROCEEDINGS{Berlandier89, AUTHOR = {P. Berlandier}, BOOKTITLE = {Proc. of EPIA 89}, PAGES = {269--275}, TITLE = {{\sc Prose:} A Constraint Language with Control Structures}, YEAR = {1989}, KEYWORDS = {PROSE, simple constraints, n-ary constraints, temporal constraints, constraint classes, control structures}, LOCATION = {MM} } @INPROCEEDINGS{Bessiere92, AUTHOR = {Christian Bessi\'ere}, BOOKTITLE = {Proceedings of ECAI`92}, EDITOR = {B. Neumann}, PAGES = {23--27}, TITLE = {{Arc-Consistency for non-binary dynamic CSPs}}, YEAR = {1992} } @ARTICLE{Bibel88, AUTHOR = {W. Bibel}, JOURNAL = {Artificial Intelligence}, PAGES = {401--413}, TITLE = {Constraint Satisfaction from a Deductive Viewpoint}, VOLUME = {36}, YEAR = {1988}, KEYWORDS = {CSP, Prolog, arc-consistency, deductive, PROTHEO}, LOCATION = {MM} } @TECHREPORT{Boettcher90, AUTHOR = {Stefan B\"ottcher}, ADDRESS = {P.O. Box 800880, D-70508 Stuttgart}, INSTITUTION = {IBM, Germany, Institute for Knowledge Based Systems}, MONTH = sep, TITLE = {{Improving the Concurrency of Integrity Checks and Write Operations}}, YEAR = {1990}, LOCATION = {MM} } @INPROCEEDINGS{BoizumaultDelon+93, AUTHOR = {Patrice Boizumault and Yan Delon and Laurent P\'eridy}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {107--112}, TITLE = {{Solving a Real-Life Planning Exams using Constraint Logic Programming}}, YEAR = {1993} } @MISC{BoleyHanschke+93, AUTHOR = {Harold Boley and Philipp Hanschke and Knut Hinkelmann and Manfred Meyer}, HOWPUBLISHED = {DFKI Research Report RR-93-08}, MONTH = jan, TITLE = {{\sc CoLab}: A hybrid Knowledge Representation and Compilation LAboratory}, YEAR = {1993}, LOCATION = {MM} } @INPROCEEDINGS{BorningDuisberg+87, AUTHOR = {Alan Borning and Robert Duisberg and Bjorn Freeman-Benson and Axel Kramer and Michael Woolf}, BOOKTITLE = {OOPSLA Proceedings}, MONTH = oct, NUMBER = {ACM 0-89791-247-0/87/0010-0048}, ORGANIZATION = {ACM}, PAGES = {48--60}, TITLE = {Constraint Hierarchies}, YEAR = {1987}, KEYWORDS = {constraint hierarchies, ThingLab}, LOCATION = {MM} } @INPROCEEDINGS{BorningFreemanBenson+91, AUTHOR = {Alan Borning and Bjorn Freeman-Benson and John Maloney and Molly Wilson}, BOOKTITLE = {COMPCON Spring '91}, MONTH = feb, ORGANIZATION = {IEEE}, PAGES = {388--393}, TITLE = {Constraint Hierarchies and their Application}, YEAR = {1991}, KEYWORDS = {ThingLab 2, HCLP, constraint hierarchies, Kaleidoskope}, LOCATION = {MM} } @INPROCEEDINGS{BorningMaher+89, AUTHOR = {Alan Borning and M. Maher and A. Martindale and M. Wilson}, BOOKTITLE = {Proc. of ICLP 89}, PAGES = {149--164}, TITLE = {Constraint Hierarchies and Logic Programming}, YEAR = {1989}, KEYWORDS = {CLP, CLP(D), HCLP, preferences}, LOCATION = {MM} } @ARTICLE{BowenOGrady+90, AUTHOR = {J. Bowen and P. O'Grady and L. Smith}, JOURNAL = {Artificial Intelligence in Engineering}, NUMBER = {4}, PAGES = {206--220}, TITLE = {A Constraint Programming Language for Life-Cycle Engineering}, VOLUME = {5}, YEAR = {1990}, KEYWORDS = {computer-aided design advisors, Concurrent Engineering, Simultaneous Engineering, Life-Cycle Engineering, constraint processing, computer langugages}, LOCATION = {MM} } @INPROCEEDINGS{BraudawayTong89, AUTHOR = {W. Braudaway and C. Tong}, BOOKTITLE = {Proc. of IJCAI 89}, PAGES = {583--589}, TITLE = {Automated Synthesis of Constrained Generators}, YEAR = {1989}, KEYWORDS = {knowledge compilation, KBSDE, constraint incorporation, constraint generator}, LOCATION = {MM} } @INCOLLECTION{BrinkopLaudwein93, AUTHOR = {Axel Brinkop and Norbert Laudwein}, BOOKTITLE = {Beitr\"age zum 7. Workshop Planen und Konfigurieren}, EDITOR = {Alexander Horz}, INSTITUTION = {GMD}, MONTH = jan, NUMBER = {723}, PAGES = {163--166}, PUBLISHER = {GMD}, SERIES = {Arbeitspapiere der GMD}, TITLE = {{Constraints zur Konfigurierung industrieller R\"uhrwerke}}, YEAR = {1993}, LOCATION = {MM} } @MISC{Brozoska92, AUTHOR = {Christoph Brozoska}, MONTH = {February}, TITLE = {{Temporal Logic Programming based on CLP$^*$}}, YEAR = {1992} } @MISC{BuchheitNutt+??, AUTHOR = {Martin Buchheit and Werner Nutt and R\"udiger Klein}, TITLE = {Constructive Problem Solving: A Model Construction Approach towards Configuration}, LOCATION = {MM} } @TECHREPORT{Buerckert90, AUTHOR = {H.--J. B{\"u}rckert}, ADDRESS = {Kaiserslautern, Germany}, INSTITUTION = {DFKI}, MONTH = {March}, NUMBER = {RR--90--02}, TITLE = {A Resolution Principle for Clauses with Constraints}, TYPE = {Research Report}, YEAR = {1990}, KEYWORDS = {resolution, unification, constraint solving, restricted quantification}, LOCATION = {MMMM} } @TECHREPORT{BuettnerEstenfeld+88, AUTHOR = {W. B{\"u}ttner and K. Estenfeld and R. Schmid and H.--A. Schneider and E. Tid{\'e}n}, ADDRESS = {Munich, Germany}, INSTITUTION = {Siemens AG, Corporate Laboratories for Information Technology}, MONTH = {February}, NUMBER = {INF2--ASE--1--88}, TITLE = {A General Framework for Symbolic Constraint Handling in {Prolog}}, YEAR = {1988}, KEYWORDS = {CSP, finite domains, unification in finite algebras, CLP, CHIP, MOS circuits}, LOCATION = {MM} } @INPROCEEDINGS{BuettnerEstenfeld+90, AUTHOR = {W. B{\"u}ttner and K. Estenfeld and R. Schmid and H.--A. Schneider and E. Tid{\'e}n}, BOOKTITLE = {AAECC'90}, INSTITUTION = {Siemens AG, Corporate Laboratories for Information Technology}, NUMBER = {1}, PAGES = {97-118}, PUBLISHER = {Springer Verlag}, TITLE = {A General Framework for Symbolic Constraint Handling in {\sc Prolog}}, YEAR = {1990}, LOCATION = {MM} } @INPROCEEDINGS{Carlsson87, AUTHOR = {M. Carlsson}, ADDRESS = {Melbourne, Australia}, BOOKTITLE = {Fourth International Conference on Logic Programming}, EDITOR = {J.-L. Lassez}, MONTH = {May}, PUBLISHER = {MIT Press}, TITLE = {Freeze, Indexing, and Other Implementation Issues in the {WAM}}, YEAR = {1987}, LOCATION = {nowhere} } @BOOKLET{ChabrierPradelles+91, AUTHOR = {Jean-Jacques Chabrier and Claudine Pradelles-Lasserre and Bruno Legeard}, HOWPUBLISHED = {Tutorial No.6 at $8^{th}$ ICLP}, MONTH = {June}, TITLE = {Industrial Applications of Constraints Logic Programming Languages}, YEAR = {1991} } @INPROCEEDINGS{Charman93, AUTHOR = {Philippe Charman}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {159--172}, TITLE = {{Solving Space Planning using Constraint Technology}}, YEAR = {1993} } @MANUAL{charme91, ADDRESS = {Theodor-Heuss-Stra{\ss}e 60--66, 51149 K\"oln, Germany}, MONTH = {February}, NOTE = {In German.}, ORGANIZATION = {Bull S.A.}, TITLE = {{Artificial Intelligence: (\sc Charme} - Eine Einf\"uhrung} } @INPROCEEDINGS{ChassinSyre+88, AUTHOR = {J. Chassin and J.C. Syre and H. Westphal}, ADDRESS = {Munich, Germany}, BOOKTITLE = {ECAI'88}, MONTH = {August}, PAGES = {278-283}, TITLE = {Implementation of a Parallel {\sc Prolog} System on a Commercial Multiprocessor}, YEAR = {1988}, LOCATION = {nowhere} } @INPROCEEDINGS{CiepielewskiHausman+87, AUTHOR = {A. Ciepielewski and B. Hausman and S. Haridi}, BOOKTITLE = {Symposium on Logic Programming}, MONTH = {August}, TITLE = {Or-parallel {\sc Prolog} Made Efficient on Shared Memory Multiprocessors}, YEAR = {1987}, LOCATION = {nowhere} } @ARTICLE{ClocksinAlshawi88, AUTHOR = {W. Clocksin and H. Alshawi}, JOURNAL = {{New Generation Computing}}, PAGES = {361-376}, TITLE = {A Method for Efficiently Executing Horn Clause Programs Using Multiple Processors}, VOLUME = {5}, YEAR = {1988}, LOCATION = {nowhere} } @INPROCEEDINGS{CodognetCodognet93, AUTHOR = {Christian Codognet and Philippe Codognet}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {43--50}, TITLE = {{A general Semantics for concurrent Constraint Languages and their abstract Interpretation}}, YEAR = {1993} } @INCOLLECTION{Colmerauer87a, AUTHOR = {A. Colmerauer}, BOOKTITLE = {ESPRIT '87}, PAGES = {611--629}, PUBLISHER = {North Holland}, TITLE = {Introduction to {Prolog III}}, YEAR = {1987}, KEYWORDS = {{\sc Prolog III}, unification, number processing, propositional calculus, constraint resolution}, LOCATION = {MM} } @ARTICLE{Colmerauer87b, AUTHOR = {A. Colmerauer}, JOURNAL = {BYTE}, MONTH = {August}, PAGES = {177--182}, TITLE = {{Opening the {\sc Prolog III} Universe}}, YEAR = {1987}, KEYWORDS = {Prolog III}, LOCATION = {MM} } @ARTICLE{Cooper89, AUTHOR = {{Martin C.} Cooper}, JOURNAL = {Artificial Intelligence}, NUMBER = {41}, PAGES = {89--95}, TITLE = {{An Optimal {$k$}-Consistency Algorithm}}, YEAR = {1989}, LOCATION = {MM} } @ARTICLE{CooperSwain92, AUTHOR = {{Paul R.} Cooper and {Michael J.} Swain}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {207--235}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{Arc Consistency: Parallelism and Domain Dependence}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @INPROCEEDINGS{CorsiniMusumbu+93, AUTHOR = {Marc-Michel Corsini and Kaninda Musumbu and Antoine Rauzy and Baudouin {Le Charlier}}, BOOKTITLE = {Proc. PLILP'93}, PAGES = {75--91}, TITLE = {{Efficient Bottom-up abstract Interpretation of {\sc Prolog} by means of Constraint Solving over Symbolic Finite Domains}}, YEAR = {1993} } @INPROCEEDINGS{CoxMcAlloon+90, AUTHOR = {J. Cox and K. McAloon and C. Tretkoff}, BOOKTITLE = {Proc. of NACLP 90}, NOTE = {Also in {\it Annals of Artificial Intelligence and Mathematics} 5/92}, TITLE = {Computational Complexity and Constraint Logic Programming Languages}, YEAR = {1990}, KEYWORDS = {CLP}, LOCATION = {MM} } @ARTICLE{CrossleyLim+89, AUTHOR = {J. N. Crossley and P. Lim and P. Stuckey}, JOURNAL = {The Australian Computer Journal}, MONTH = {May}, NUMBER = {2}, PAGES = {49--55}, TITLE = {Interface Logic Programming}, VOLUME = {21}, YEAR = {1989}, KEYWORDS = {CLP, interface logic programming, CLP(B), Boolean algebra, WAM}, LOCATION = {MM} } @PROCEEDINGS{CSAM93, EDITOR = {Manfred Meyer}, KEY = {CSAM93}, MONTH = aug, NOTE = {as DFKI-RR-93-39}, PUBLISHER = {DFKI Kaiserslautern}, TITLE = {{Constraint Processing: Workshop at CSAM'93}}, YEAR = {1993} } @INPROCEEDINGS{Dacar93, AUTHOR = {France Dacar}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {195--214}, TITLE = {{Prime Generators of Entailment in finite Constraint Networks}}, YEAR = {1993} } @INPROCEEDINGS{Dalal92, AUTHOR = {Mukesh Dalal}, BOOKTITLE = {Proceedings of KR'92}, PAGES = {393--402}, TITLE = {Tractable Deduction in Knowledge Representation Systems}, YEAR = {1992} } @INPROCEEDINGS{DAndrea92, AUTHOR = {Michel D'Andrea}, BOOKTITLE = {\cite{LPSS92}}, PAGES = {36--44}, TITLE = {{Scheduling and Optimization in the Automobile Industry}}, YEAR = {1992} } @ARTICLE{Davis87, AUTHOR = {E. Davis}, INSTITUTION = {Courant Institute Of Mathematical Science}, JOURNAL = {Artificial Intelligence}, NUMBER = {32}, PAGES = {281--331}, TITLE = {Constraint Propagation With Interval Labels}, YEAR = {1987}, KEYWORDS = {CSP, interval labels, inference about quantities}, LOCATION = {MM} } @INPROCEEDINGS{DeBackerBeringer91, AUTHOR = {Bruno {De Backer} and Henri Beringer and Christoph Beierle and Gregor Meyer and Heiner Semle}, BOOKTITLE = {Proceedings of ILPS'91}, PAGES = {405--419}, TITLE = {{Intelligent Backtracking for CLP Languages -- an Application to CLP(${\cal R}$) - Extending the WAM to polymorphic order-sorted Resolution}}, YEAR = {1991} } @ARTICLE{Dechter89, AUTHOR = {Rina Dechter}, JOURNAL = {Artificial Intelligence}, PAGES = {273--312}, TITLE = {Enhancement Schemes for Constraint Processing: Backjumping, Learning and Cutset Decomposition}, VOLUME = {41}, YEAR = {1989/90}, KEYWORDS = {Prolog, TMS, CSP, backtracking, look ahead, look back, backjumping, learning while searching}, LOCATION = {MM} } @INPROCEEDINGS{DechterMeiri+89, AUTHOR = {Rina Dechter and Itay Meiri and Judea Pearl}, BOOKTITLE = {First Int. Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada}, EDITOR = {R. Brachman and H. Levesque and R. Reiter}, PAGES = {83--93}, PUBLISHER = {Morgan Kaufmann Publishers, San Mateo, CA}, TITLE = {Temporal Constraint Networks}, YEAR = {1989}, KEYWORDS = {minimal network, temporal constraint satisfaction, CSP}, LOCATION = {MM} } @INPROCEEDINGS{DechterMeiri89, AUTHOR = {Rina Dechter and Itay Meiri}, BOOKTITLE = {Proceedings of IJCAI`89}, PAGES = {271--277}, PUBLISHER = {Morgan Kaufmann Publishers, San Mateo, CA}, TITLE = {Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems}, YEAR = {1989}, KEYWORDS = {minimal network, temporal constraint satisfaction, CSP}, LOCATION = {MM} } @ARTICLE{DechterPearl88, AUTHOR = {Rina Dechter and Judea Pearl}, JOURNAL = {Artificial Intelligence}, NUMBER = {34}, PAGES = {1--38}, TITLE = {Network-Based Heuristics For Constraint-Satisfaction Problems}, YEAR = {1988}, KEYWORDS = {CSP, heuristic value assignment, simplified subproblems}, LOCATION = {MM} } @ARTICLE{DechterPearl92, AUTHOR = {Rina Dechter and Judea Pearl}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {237--270}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{Structure Identification in relational Data}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @INPROCEEDINGS{DeGroot84a, AUTHOR = {D. {De Groot}}, ADDRESS = {Tokyo, Japan}, BOOKTITLE = {Proc. FGCS'84}, PAGES = {471-478}, TITLE = {Restricted And-Parallelism}, YEAR = {1984}, KEYWORDS = {and-parallelism}, LOCATION = {nowhere} } @INPROCEEDINGS{DeLangeDeLange+89, AUTHOR = {A.A.J. {De Lange} and J.S.J. {De Lange} and J.F. Vink}, BOOKTITLE = {1989 IEEE International Conference on Computer Design: VLSI in Computers \& Processors}, MONTH = oct, PAGES = {532--535}, TITLE = {{A Hierarchical Constraint Graph Generation and Compaction System for Symbolic Layout}}, YEAR = {1989}, LOCATION = {MM} } @INPROCEEDINGS{DeSchreyePollet+90, AUTHOR = {D. {De Schreye} and D. Pollet and J. Ronsyn and M. Bruynooghe}, BOOKTITLE = {Proceedings of ESOP 90}, EDITOR = {N. Jones}, PAGES = {106--117}, TITLE = {Implementing finite-domain Constraint Logic Programming on Top of a {\sc Prolog}-System with Delay-mechanism}, YEAR = {1990}, KEYWORDS = {CLP, CHIP, WAM, NU-Prolog, domains, control}, LOCATION = {MM} } @ARTICLE{DescotteLatombe85, AUTHOR = {Y. Descotte and J.-C. Latombe}, JOURNAL = {Artifical Intelligence}, PAGES = {183--217}, TITLE = {Making Compromises among Antagonist Constraints in a Planner}, VOLUME = {27}, YEAR = {1985}, KEYWORDS = {process planning, preferences, inconsistency, selective backtracking, GARI, machining plans, manufacturing rules, knowledge activation, plan generation}, LOCATION = {MM} } @INPROCEEDINGS{DiazCodognet93, AUTHOR = {Daniel Diaz and Philippe Codognet}, BOOKTITLE = {Proc. of ICLP'93}, TITLE = {{A minimal Extension of the WAM for {\tt clp(FD)}}}, YEAR = {1993} } @TECHREPORT{DilgerJanson84, AUTHOR = {Werner Dilger and Agnes Janson}, INSTITUTION = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern}, NUMBER = {100/84}, TITLE = {A Unification Graph with Constraints for Intelligent Backtracking in Deduction Systems}, TYPE = {Interner Bericht}, YEAR = {1984}, KEYWORDS = {unification graph, intelligent backtracking, deduction system}, LOCATION = {MM} } @MISC{Dincbas??, AUTHOR = {Mehmet Dincbas}, TITLE = {Constraint Programming --- An Alternative to Expert Systems} } @INPROCEEDINGS{DincbasSimonis+88, AUTHOR = {Mehmet Dincbas and H. Simonis and Pascal {Van Hentenryck}}, BOOKTITLE = {Proc. of ECAI 88, M{\"u}nchen}, PAGES = {290--295}, TITLE = {Solving the Car--Sequencing Problem in Constraint Logic Programming}, YEAR = {1989}, KEYWORDS = {CSP, CHIP, car-sequencing problem}, LOCATION = {MM} } @ARTICLE{DincbasSimonis+90, AUTHOR = {Mehmet Dincbas and H. Simonis and Pascal Van Hentenryck}, JOURNAL = {Journal Of Logic Programming}, MONTH = {January}, NUMBER = {1}, PAGES = {75--93}, TITLE = {Solving Large Combinatorial Problems In Logic Programming}, VOLUME = {8}, YEAR = {1990}, KEYWORDS = {CHIP, disjunctive scheduling, graph colouring, firmware design, PROLOG}, LOCATION = {MM} } @INPROCEEDINGS{DincbasVanHentenryck89, AUTHOR = {Mehmet Dincbas and Pascal Van Hentenryck and H. Simonis and A. Aggoun and A. Herold}, PAGES = {774--775}, TITLE = {The {\sc Chip} System: Constraint Handling In {\sc Prolog}}, YEAR = {1989}, KEYWORDS = {CHIP}, LOCATION = {MM} } @INPROCEEDINGS{DincbasVanHententryck88, AUTHOR = {Mehmet Dincbas and Pascal {Van Hentenryck}}, ADDRESS = {Tokyo, Japan}, BOOKTITLE = {Proceedings FGCS'88}, MONTH = {December}, TITLE = {The Constraint Logic Programming Language {\sc Chip}}, YEAR = {1988}, KEYWORDS = {CLP,CHIP}, LOCATION = {nowhere} } @TECHREPORT{Duncan90, AUTHOR = {Tim Duncan}, ADDRESS = {AI Applications Institute, Univ. of Edinburgh}, INSTITUTION = {AIAI}, MONTH = oct, NUMBER = {AIAI-TR-120}, TITLE = {{Scheduling Problems and Constraint Logic Programming: A simple Example and its Solution}}, YEAR = {1990} } @TECHREPORT{DuncanElSaid92, AUTHOR = {Tim Duncan and Amr El-Said}, ADDRESS = {AI Applications Institute, Univ. of Edinburgh}, INSTITUTION = {AIAI}, MONTH = jan, NUMBER = {AIAI-TR-125}, TITLE = {{The Use of Charme to represent Protein Structure Constraints}}, YEAR = {1992} } @PROCEEDINGS{EPIA91, EDITOR = {P. Barahona and {L. Moniz} Pereira and A. Porto}, KEY = {EPIA91}, MONTH = oct, PUBLISHER = {Springer Verlag}, TITLE = {EPIA 91 --- {$5^{th}$} Portuguese Conf. on AI}, YEAR = {1991} } @INPROCEEDINGS{ErtlKrall93, AUTHOR = {{M. Anton} Ertl and Andreas Krall}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {65--76}, TITLE = {{High-level Constraints over finite Domains}}, YEAR = {1993} } @ARTICLE{ErvinGross87, AUTHOR = {S.M. Ervin and M.D. Gross}, INSTITUTION = {School Of Architecture And Planning}, JOURNAL = {Artificial Intelligence In Engineering}, NUMBER = {4}, PAGES = {224--34}, PUBLISHER = {Computational Mechanics Publications}, TITLE = {{RoadLab} - A Constrained Based Laboratory For Road Design}, VOLUME = {2}, YEAR = {1987}, KEYWORDS = {geometric road layout, graphic programming environment, design}, LOCATION = {MM} } @INPROCEEDINGS{Evans92, AUTHOR = {{Owen V.} Evans}, BOOKTITLE = {In \cite{LPSS92}}, EDITOR = {G. Comyn and N.E. Fuchs and M. J. Ratcliff}, MONTH = {September}, PAGES = {45--53}, TITLE = {{Factory Scheduling using finite Domains}}, YEAR = {1992} } @TECHREPORT{FendlerWichlacz87, AUTHOR = {M. Fendler and R. Wichlacz}, INSTITUTION = {Universit{\"a}t des Saarlandes, KI--Labor am Lehrstuhl f{\"u}r Informatik IV}, MONTH = {March}, NUMBER = {15}, TITLE = {{sc Sycon} Symbolische Constraint-Propagierung auf Netz\-wer\-ken, Entwurf und Implementierung} } @ARTICLE{Fidge87, AUTHOR = {C. J. Fidge}, JOURNAL = {The Australian Computer Journal}, MONTH = {May}, NUMBER = {2}, PAGES = {92--98}, TITLE = {Reproducible Tests in {CSP}}, VOLUME = {19}, YEAR = {1987}, KEYWORDS = {CSP, non-determinism, debugging}, LOCATION = {MM} } @INPROCEEDINGS{FilgueirasTomas91, AUTHOR = {Miguel Filgueras and Ana-Paula Tom\'as}, BOOKTITLE = {\cite{EPIA91}}, PAGES = {1--16}, TITLE = {{Solving Linear Constraints on Finite Domains through Parsing}}, YEAR = {1991}, LOCATION = {MM} } @INPROCEEDINGS{FilkornSchmid+91, AUTHOR = {Thomas Filkorn and Richard Schmid and Erik Tid\'en and Peter Warkentin}, BOOKTITLE = {Proceedings of ILPS'91}, PAGES = {581--595}, TITLE = {{Experience from a large industrial Circuit Design Application}}, YEAR = {1991} } @ARTICLE{FinkelManber87, AUTHOR = {R. Finkel and U. Manber}, JOURNAL = {ACM Transactions on Programming Languages and Systems}, MONTH = {April}, NUMBER = {2}, PAGES = {235-256}, TITLE = {{DIB} -- A Distributed Implementation of Backtracking}, VOLUME = {9}, YEAR = {1987}, LOCATION = {nowhere} } @INPROCEEDINGS{Fox86, AUTHOR = {M. Fox}, BOOKTITLE = {Proc. 6$^{th}$ Canadian Conference on Artificial Intelligence, Montreal, 1986}, MONTH = {May}, PAGES = {172--187}, PUBLISHER = {Presses de l'Universit{\'e} de Qu{\'e}bec}, TITLE = {Observations on the Role of Constraints in Problem Solving}, YEAR = {1986}, KEYWORDS = {heuristic search, constraint-based search, job-shop scheduling, ISIS, relaxation}, LOCATION = {Unibibliothek KLMM}, SIGNATURE = {INF 840/027--6} } @INPROCEEDINGS{FoxAllen+83, AUTHOR = {{Mark S.} Fox and {Bradley P.} Allen and {Stephen F.} Smith and {Gary A.} Strohm}, ADDRESS = {Gaithersburg, Maryland}, BOOKTITLE = {Proc. IEEE Conference on Trends and Applications}, MONTH = {May}, ORGANIZATION = {National Bureau of Standards}, TITLE = {{\sc Isis:} A Constraint--Directed Reasoning Approach to Job Shop Scheduling}, YEAR = {1983}, KEYWORDS = {job shop scheduling, ISIS, relaxation, scheduling problem}, LOCATION = {MM} } @INPROCEEDINGS{FoxSadeh90, AUTHOR = {{Mark S.} Fox and Norman Sadeh}, BOOKTITLE = {Proc. of ECAI'90}, TITLE = {{Why is Scheduling difficult? A CSP Perspective}}, YEAR = {1990}, LOCATION = {MM} } @INCOLLECTION{FraymanMittal87, AUTHOR = {F. Frayman and S. Mittal}, BOOKTITLE = {Knowledge Based Expert Systems in Engineering: Planning \& Design}, EDITOR = {D. Sriram and R.A. Adey}, PUBLISHER = {Computational Mechanics Computation}, TITLE = {{COSSACK}: A Constraints--Based Expert System for Configuration Tasks}, YEAR = {1987}, KEYWORDS = {configuration, COSSACK, preferences, constraint reasoning, partial choice, functional hierarchy, XCON}, LOCATION = {MM} } @INPROCEEDINGS{FreemanBensonBorning92, AUTHOR = {{Bjorn N.} Freeman-Benson and Alan Borning}, BOOKTITLE = {Proc . of ECOOP'92}, TITLE = {{Integrating Constraints with an Object-Oriented Language}}, YEAR = {1992}, PAGES = {268--286}, LOCATION = {MM} } @ARTICLE{FreemanBensonMaloney+90, AUTHOR = {Bjorn Freeman--Benson and J. Maloney and Alan Borning}, JOURNAL = {Communications of the ACM}, MONTH = {January}, NUMBER = {1}, PAGES = {54--63}, TITLE = {An Incremental Constraint Solver}, VOLUME = {33}, YEAR = {1990}, KEYWORDS = {incremental constraint solver, Delta Blue}, LOCATION = {MM} } @ARTICLE{Freuder78, AUTHOR = {Eugene Freuder}, JOURNAL = {Communications of the ACM}, NUMBER = {11}, PAGES = {958--966}, TITLE = {Synthesizing Constraint Expressions}, VOLUME = {21}, YEAR = {1978}, KEYWORDS = {backtracking, cobinatorial algorithms, constraint network, constraint satisfaction, network consistency, relaxation, scene labeling, search, node consistency, arc consistency, path consistency, synthesize the global constraint, k-consistency}, LOCATION = {MM} } @ARTICLE{Freuder82, AUTHOR = {{Eugene C.} Freuder}, JOURNAL = {J. of ACM}, MONTH = jan, NUMBER = {1}, PAGES = {24--32}, TITLE = {{A sufficient Condition for backtrack-free Search}}, VOLUME = {29}, YEAR = {1982}, LOCATION = {MM} } @TECHREPORT{Freuder84, AUTHOR = {{Eugene C.} Freuder}, BOOKTITLE = {\cite{IJCAI93}}, INSTITUTION = {University of New Hampshire}, NUMBER = {84-13}, TITLE = {{Utilizing Subgraph Isomorphism in Constraint Graphs}}, YEAR = {1984} } @INPROCEEDINGS{Freuder89, AUTHOR = {Eugene Freuder}, BOOKTITLE = {Proc. of IJCAI 89}, PAGES = {278--283}, TITLE = {Partial Constraint Satisfaction}, YEAR = {1989}, KEYWORDS = {CSP, relaxation, metric, branch and bound, PCSP-1}, LOCATION = {MM} } @INPROCEEDINGS{Freuder90, AUTHOR = {Eugene Freuder}, BOOKTITLE = {Proc. of AAAI 90}, PAGES = {4--9}, TITLE = {Complexity of {K}--Tree Structured Constraint Satisfaction Problems}, YEAR = {1990}, KEYWORDS = {CSP, k-trees, partial constraint satisfaction, adaptive consistency}, LOCATION = {MM} } @INPROCEEDINGS{FreuderHubbe93, AUTHOR = {{Eugene C.} Freuder and {Paul D.} Hubbe}, BOOKTITLE = {\cite{IJCAI93}}, TITLE = {{Using inferred disjunctive Constraints to decompose Constraint Satisfaction Problems}}, PAGES = {254--260}, YEAR = {1993} } @BOOK{FreuderMackworth92, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, NUMBER = {1--3}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @ARTICLE{FreuderWallace92, AUTHOR = {{Eugene C.} Freuder and {Richard J.} Wallace}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {21--70}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{Partial Constraint Satisfaction}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @MISC{Fruehwirth91, AUTHOR = {Thom Fr\"uwirth}, MONTH = sep, NOTE = {Unpublished}, TITLE = {Introducing Simplification Rules}, YEAR = {1991}, KEYWORDS = {CLP, Guarded Clauses, Committed-Choice Languages, Conditional Term Rewriting, Reasoning about Programs}, LOCATION = {MM} } @TECHREPORT{Fruehwirth93, AUTHOR = {Thom Fr\"uhwirth}, ADDRESS = {ECRC, Munich}, INSTITUTION = {ECRC}, MONTH = feb, NUMBER = {ECRC-CORE-93-2}, TITLE = {{Temporal Reasoning with Constraint Handling Rules}}, TYPE = {Working Paper}, YEAR = {1993}, LOCATION = {MM} } @INPROCEEDINGS{FruehwirthHerold+92, AUTHOR = {Thom Fr\"uhwirth and Alexander Herold and Volker K\"uchenhoff and Thierry Le Provost and Pierre Lim and Eric Monfroy and Mark Wallace}, BOOKTITLE = {\cite{LPSS92}}, PAGES = {1--35}, TITLE = {{Constraint Logic Programming -- An Informal Introduction}}, YEAR = {1992} } @MISC{GabbrielliLevi??, AUTHOR = {M. Gabbrielli and G. Levi}, TITLE = {Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs}, KEYWORDS = {unfolding, operational semantics, fixpoint semantics, constraint equivalences}, LOCATION = {MM} } @INPROCEEDINGS{GailiyKrautter+92, AUTHOR = {Pierre-Joseph Gailiy and Wolfgang Krautter and Christophe Bis\`ere and Sylvie Bescos}, BOOKTITLE = {\cite{LPSS92}}, PAGES = {54--63}, TITLE = {{The Prince Project and its Application}}, YEAR = {1992} } @INPROCEEDINGS{Geelen92, AUTHOR = {{Pieter Andeas} Geelen}, BOOKTITLE = {Proceedings of ECAI`92}, EDITOR = {B. Neumann}, PAGES = {31--35}, TITLE = {Dual Viewpoint Heuristics for binary Constraint Satisfaction Problems}, YEAR = {1992} } @INPROCEEDINGS{Gensel93, AUTHOR = {J. Gensel}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {51--64}, TITLE = {{Integrating Constraints in an Object-Based Knowledge Representation System}}, YEAR = {1993} } @MANUAL{Giuse92, AUTHOR = {Dario Giuse}, MONTH = nov, NOTE = {part of the {\sc Garnet} manual}, TITLE = {{KR: Constraint-based Knowledge Representation}}, YEAR = {1992}, LOCATION = {MM} } @MANUAL{GoebelRodosek??, AUTHOR = {R. G{\"o}bel and R. Rodosek}, ORGANIZATION = {Deutsche Forschungsanstalt f{\"ur} Luft-- und Raumfahrt}, TITLE = {The {\sc Plato} Language, Language Description}, LOCATION = {MM} } @TECHREPORT{Guesgen85, AUTHOR = {Hans-Werner G{\"u}sgen}, INSTITUTION = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung mbH}, MONTH = {October}, NUMBER = {Arbeitspapiere der GMD 175}, TITLE = {{Constraints -- eine Wissensrepr{\"a}sentationsform}}, YEAR = {1985}, KEYWORDS = {Anwendungen, Waltz, Constraints in Shells}, LOCATION = {MM} } @MANUAL{Guesgen87, AUTHOR = {Hans-Werner G\"usgen}, ADDRESS = {Schlo{\ss} Birlinghoven, 53757 Sankt Augustin, Germany}, MONTH = {November}, ORGANIZATION = {Gesellschaft f\"ur Mathematik und Datenverarbeitung mbH}, TITLE = {{\sc Consat} --- A System for Constraint Satisfaction}, YEAR = {1987} } @PHDTHESIS{Guesgen88, AUTHOR = {Hans-Werner G{\"u}sgen}, MONTH = {January}, SCHOOL = {University of Kaiserslautern, Department of Computer Science}, TITLE = {{\sc Consat} --- A System for Constraint Satisfaction}, YEAR = {1988}, KEYWORDS = {CONSAT, local consistency, global consistency, finite relations, infinite relations, constraint network, BABYLON}, LOCATION = {MM} } @TECHREPORT{Guesgen89, AUTHOR = {Hans-Werner G{\"u}sgen}, ADDRESS = {Berkley, CA}, INSTITUTION = {International Computer Science Institute}, MONTH = {August}, NUMBER = {TR--89--049}, TITLE = {Spatial Reasoning Based on {Allen's} Temporal Logic}, YEAR = {1989}, KEYWORDS = {Allen, spatial reasoning}, LOCATION = {MM} } @INPROCEEDINGS{Guesgen89b, AUTHOR = {{Hans Werner} G"usgen}, BOOKTITLE = {Proc. IJCAI 1989}, TITLE = {{A universal Constraint Programming Language}}, YEAR = {1989} } @ARTICLE{GuesgenFidelak88, AUTHOR = {Hans-Werner G{\"u}sgen and M. Fidelak}, JOURNAL = {Informations\-technik}, PAGES = {422--433}, TITLE = {{Programmieren mit Constraints}}, VOLUME = {30}, YEAR = {1988}, KEYWORDS = {Definition von Constraints, symbolische Constraints, algebraische Constraints, Constraint Sprachen, BABYLON}, LOCATION = {MM} } @TECHREPORT{GuesgenHertzberg87, AUTHOR = {Hans-Werner G{\"u}sgen and Joachim Hertzberg}, INSTITUTION = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung mbH}, MONTH = {June}, NUMBER = {252}, TITLE = {A Functional View on Constraints}, TYPE = {Arbeitspapiere der GMD}, YEAR = {1987}, KEYWORDS = {single constraint, constraint network, primitive constraint}, LOCATION = {MM} } @ARTICLE{GuesgenHertzberg88, AUTHOR = {Hans-Werner G\"usgen and Joachim Hertzberg}, INSTITUTION = {GMD St. Augustin}, JOURNAL = {Artificail Intelligence}, NOTE = {Research Note}, NUMBER = {36}, PAGES = {237--247}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {Some Fundamental Properties Of Local Constraint Propagation}, YEAR = {1988}, KEYWORDS = {local constraint propagation, arbitrary variable covering, arc consistency}, LOCATION = {MM} } @TECHREPORT{GuesgenHertzberg91, AUTHOR = {Hans-Werner Guesgen and Joachim Hertzberg}, ADDRESS = {Schlo{\ss} Birlinghoven, 53757 Sankt Augustin, Germany}, INSTITUTION = {Gesellschaft f\"ur Mathematik und Datenverarbeitung (GMD)}, MONTH = sep, TITLE = {{A Perspective of Constraint-Based Reasoning}}, YEAR = {1991} } @INPROCEEDINGS{HaoChabrier90, AUTHOR = {J. Hao and J.-J. Chabrier}, BOOKTITLE = {Proc. 2$^{nd}$ International IEEE Conference on Tools for AI, Dulles, 1990}, PAGES = {494--500}, PUBLISHER = {IEEE Computer Society Press, Los Alamitos, CA}, TITLE = {Combining Partial Evaluation and Constraint Solving: A New Approach to Constraint Logic Programming}, YEAR = {1990}, KEYWORDS = {CLP, Conslog, partial evaluation, discrete finite domains}, LOCATION = {MM} } @ARTICLE{HaralickElliott80, AUTHOR = {R. M. Haralick and G. L. Elliott}, JOURNAL = {Artificial Intelligence}, PAGES = {263--313}, TITLE = {Increasing Tree Search Efficiency for Constraint Satisfaction Problems}, VOLUME = {14}, YEAR = {1980}, KEYWORDS = {CSP, tree search, looking ahead, partial looking ahead, forward checking, backchecking, backmarking}, LOCATION = {MM} } @INPROCEEDINGS{Harris86, AUTHOR = {D. Harris}, BOOKTITLE = {Proc. of AAAI 86}, PAGES = {986--990}, TITLE = {A Hybrid Structured Object and Constraint Representation Language}, YEAR = {1986}, KEYWORDS = {SOCLE, frames}, LOCATION = {MM} } @INPROCEEDINGS{Haselboeck93, AUTHOR = {Alois Hasel{\"o}ck}, BOOKTITLE = {\cite{IJCAI93}}, TITLE = {{Exploiting Interchangeabilities in Constraint Satisfaction Problems}}, YEAR = {1993} } @INPROCEEDINGS{HaselboeckHavelka+93, AUTHOR = {Alois Haselb\"ock and Thomas Havelka and Markus Stumptner}, BOOKTITLE = {\cite{CSAM93}}, TITLE = {{Revising inconsistent Variable Assignments in Constraint Satisfaction Problems}}, YEAR = {1993} } @ARTICLE{Havens92, AUTHOR = {{William S.} Havens}, JOURNAL = {Int. J. of Expert Systems: Research and Applications}, MONTH = dec, TITLE = {{Intelligent Backtracking in the Echidna Constraint Logic Programming System}}, YEAR = {1992} } @INPROCEEDINGS{HavensRehfuss89, AUTHOR = {{William S.} Havens and P. Rehfuss}, BOOKTITLE = {Proceedings of IJCAI 89}, PAGES = {48--53}, TITLE = {{\sc Platypus}: A Constraint--Based Reasoning System}, YEAR = {1989}, KEYWORDS = {Platypus, synthesis, diagnosis, expert system shell, configuration}, LOCATION = {MM} } @MANUAL{HeinFricke??, AUTHOR = {Manfred Hein and Stefan Fricke}, ADDRESS = {Franklinstra\"se 28-29, 10587 Berlin}, ORGANIZATION = {TU Berlin}, TITLE = {PCPL Manual} } @INPROCEEDINGS{HeintzeJaffar+87, AUTHOR = {Nevin Heintze and Joxan Jaffar and C. Lassez and J.--L. Lassez and K. McAloon and S. Michaylov and Peter Stuckey and R. Yap}, BOOKTITLE = {4$^{th}$ IEEE Symposium on Logic Programming, San Francisco}, NOTE = {Part I,II \& III}, TITLE = {Constraint Logic Programming: A Reader}, YEAR = {1987}, KEYWORDS = {CLP, CLP(R), CLP(X), semantics of CLP(X) scheme, CLP(X) theory, PROLOG III}, LOCATION = {MM} } @MANUAL{HeintzeJaffar+92, AUTHOR = {Nevin Heintze and Joxan Jaffar and Spiro Michaylov and Peter Stuckey and Roland Yap}, MONTH = {September}, NOTE = {Version 1.2}, TITLE = {{The CLP(${\cal R}$) Programmer's Manual}}, YEAR = {1992}, LOCATION = {MM} } @MISC{HeintzeMichaylov+??, AUTHOR = {Nevin Heintze and Spiro Michaylov and Peter Stuckey}, TITLE = {{CLP(${\cal R}$)} and some Electrical Engineering Problems}, KEYWORDS = {CLP(R), analogue circuits}, LOCATION = {MM} } @INPROCEEDINGS{Hermenegildo86a, AUTHOR = {M. Hermenegildo}, ADDRESS = {London}, BOOKTITLE = {Third International Conference on Logic Programming}, MONTH = {July}, PAGES = {25-39}, TITLE = {An Abstract Machine for Restricted AND-parallel execution of logic programs}, YEAR = {1986}, KEYWORDS = {and-parallelism}, LOCATION = {nowhere} } @INPROCEEDINGS{HertzbergGuesgen+88, AUTHOR = {J. Hertzberg and H.--W. G{\"u}sgen and A. Vo{\ss} and M. Fidelak and H. Vo{\ss}}, BOOKTITLE = {Proc. of GWAI 88}, PAGES = {61--65}, TITLE = {Relaxing Constraint Networks to Resolve Inconsistencies}, YEAR = {1988}, KEYWORDS = {relaxation, local consistency}, LOCATION = {MM} } @TECHREPORT{Hoehfeld88, AUTHOR = {M. H{\"o}hfeld}, INSTITUTION = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern}, MONTH = {October}, NUMBER = {SWP--88--7}, TITLE = {{Ein Schema f{\"u}r constraint--basierte relationale Wissensbanken}}, TYPE = {SEKI Working Paper}, YEAR = {1988}, KEYWORDS = {hierarchies, feature terms, relational knowledge base, LOGIN, CLP}, LOCATION = {MM} } @INPROCEEDINGS{HoelldoblerHower91, AUTHOR = {Steffen H\"olldobler and Walter Hower}, BOOKTITLE = {Proc. of ISAI'91}, TITLE = {{Constraint Satisfaction in a Connectionist Inference System}}, YEAR = {1991}, LOCATION = {MM} } @INPROCEEDINGS{HoHilfinger93, AUTHOR = {Kinson Ho and {Paul N.} Hilfinger}, BOOKTITLE = {\cite{IJCAI93}}, TITLE = {{Optimistic parallel discrete Relaxation}}, YEAR = {1993} } @TECHREPORT{Holzbaur90, AUTHOR = {Christian Holzbaur}, INSTITUTION = {Austrian Research Institute for Artifical Intelligence}, MONTH = {June}, NUMBER = {TR--90--11}, TITLE = {Realization of Forward Checking in Logic Programming through Extended Unification}, YEAR = {1990}, KEYWORDS = {metaprogramming, unification, forward checking, inequality, partial evaluation, compilation}, LOCATION = {MM} } @TECHREPORT{Horz93, AUTHOR = {Alexander Horz}, INSTITUTION = {GMD}, MONTH = jan, NUMBER = {723}, TITLE = {Beitr\"age zum 7. Workshop Planen und Konfigurieren}, TYPE = {Arbeitspapiere}, YEAR = {1993}, LOCATION = {MM} } @UNPUBLISHED{Hower89, AUTHOR = {Walter Hower}, NOTE = {entered at EPIA'89}, TITLE = {Proper Constraint Relaxation}, YEAR = {1989} } @MASTERSTHESIS{Hower89a, AUTHOR = {Walter Hower}, SCHOOL = {Universit\"at Kaiserslautern}, TITLE = {On Conflict Resolution in inconsistent Constraint Networks}, YEAR = {1989} } @TECHREPORT{Hower91, AUTHOR = {Walter Hower}, ADDRESS = {Rheinau 3-4, 56075 Koblenz, Germany}, INSTITUTION = {Institut f\"ur Informatik, Universit\"at Koblenz}, TITLE = {A novel Algorithm for global constraint Satisfaction}, YEAR = {1991}, LOCATION = {Unibib KL/Informatik}, SIGNATURE = {INF 114?895-91,16} } @MISC{Hower91a, AUTHOR = {Walter Hower}, TITLE = {Constraint Satisfaction via partially parallel Propagation Steps}, YEAR = {1991}, LOCATION = {Unibib KL/Informatik}, SIGNATURE = {INF 114/895-91,16} } @UNPUBLISHED{Hower92, AUTHOR = {Walter Hower}, MONTH = {July}, NOTE = {draft}, TITLE = {Global constraint satisfaction in logic programming}, YEAR = {1992} } @MISC{Hower93, AUTHOR = {Walter Hower}, TITLE = {Efficient Updating of a Constraint Network}, YEAR = {1993}, LOCATION = {MM} } @INPROCEEDINGS{Hower93a, AUTHOR = {Walter Hower}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {237--242}, TITLE = {{Constraint Satisfaction and Query Evaluation}}, YEAR = {1993} } @MISC{Hower??, AUTHOR = {Walter Hower}, TITLE = {An exponential improvement on the standard Procedure for global Constraint Satisfaction an its Paralization}, LOCATION = {MM} } @INPROCEEDINGS{HowerJacobi93, AUTHOR = {Walter Hower and Stepahn Jacobi}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {223--236}, TITLE = {{Modifying a Constraint Network}}, YEAR = {1993} } @INPROCEEDINGS{HowerJacobi93a, AUTHOR = {Walter Hower and Stepahn Jacobi}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {243--250}, TITLE = {{A distributed Realization for Constraint Satisfaction}}, YEAR = {1993} } @ARTICLE{Hrycej93, AUTHOR = {Tomas Hrycej}, JOURNAL = {Journal of Logic Programming}, NUMBER = {15}, PAGES = {113--145}, TITLE = {{A temporal Extension of {\sc Prolog}}}, YEAR = {1993} } @TECHREPORT{HuynhLassez88, AUTHOR = {T. Huynh and Claudine Lassez}, ADDRESS = {Yorktown Heights, N.Y.}, INSTITUTION = {IBM Research Division, T.J. Watson Research Center}, TITLE = {{A CLP(${\cal R}$)} Option Analysis System}, TYPE = {Research Report}, YEAR = {1988}, KEYWORDS = {CLP(R), option analysis}, LOCATION = {MM} } @ARTICLE{Hyvonen92, AUTHOR = {Eero Hyv\"onen}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {71--112}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{Constraint Reasoning based on Interval Arithmetic: the Tolerance Propagation Approach}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @PROCEEDINGS{IJCAI93, ADDRESS = {San Mateo, California, USA}, EDITOR = {Ruzena Bajcsy}, PUBLISHER = {Morgan Kaufmann Publishers, Inc.}, TITLE = {{Proc. of $13^{th}$ Intl. Joint Conf. on AI}}, VOLUME = {1}, YEAR = {1993}, LOCATION = {MM} } @INPROCEEDINGS{Jaakola90, AUTHOR = {Juhani Jaakola}, BOOKTITLE = {Programming Language Implementation And Logic Programming}, EDITOR = {P. Deransart and J. Maluszynski}, MONTH = {August}, PAGES = {89--105}, TITLE = {Modifying The Simplex Algorithm To A Constraint Solver}, YEAR = {1990}, KEYWORDS = {constraint backtracking, simplex algorithm, incremental constraint solver}, LOCATION = {MM} } @MISC{JaffarLassez86, AUTHOR = {Joxan Jaffar and Jean-Louis Lassez}, MONTH = aug, NOTE = {extended abstract}, TITLE = {Constraint Logic Programming}, YEAR = {1986}, LOCATION = {MM} } @INPROCEEDINGS{JaffarLassez87, AUTHOR = {Joxan Jaffar and Jean-Louis Lassez}, ADDRESS = {Munich, Germany}, BOOKTITLE = {Proc. POPL-87}, TITLE = {Constraint Logic Programming}, YEAR = {1987}, KEYWORDS = {CLP}, LOCATION = {nowhere} } @TECHREPORT{JaffarMichaylov+90, AUTHOR = {Joxan Jaffar and Spiro Michaylov and {Peter J.} Stuckey and {Roland H. C.} Yap}, INSTITUTION = {School of Computer Science, Carnegie Mellon University, Pittsburgh, PA}, MONTH = {October}, NUMBER = {CMU--CS--90--181}, TITLE = {{The CLP(${\cal R}$)} Language and System}, YEAR = {1990}, KEYWORDS = {CLP(R)}, LOCATION = {MM} } @INPROCEEDINGS{JaffarMichaylov87, AUTHOR = {Joxan Jaffar and Spiro Michaylov}, BOOKTITLE = {Proc. of ICLP 87}, PAGES = {196--218}, TITLE = {Methodology and Implementation of a {CLP} System}, YEAR = {1987}, KEYWORDS = {CLP, semantic unification, PROLOG II, PROLOG III, CLP(R)} } @INPROCEEDINGS{JaffarStuckey+92, AUTHOR = {Joxan Jaffar and {Peter J.} Stuckey and Spiro Michaylov and {Roland H. C.} Yap}, BOOKTITLE = {ACM SIGPLAN PLDI}, MONTH = jun, PAGES = {128--139}, TITLE = {{An abstract Machine for CLP({$\cal R$})}}, YEAR = {1992} } @MISC{JorgensenMarriot+??, AUTHOR = {Niels J{\o}rgensen and Kim Marriott and Spiro Michaylov}, TITLE = {{Some global Compile-Time Optimizations for CLP(${\cal R}$)}} } @INPROCEEDINGS{JourdanSola93, AUTHOR = {Jean Jourdan and Thierry Sola}, BOOKTITLE = {Proc. PLILP'93}, PAGES = {60--74}, TITLE = {{The Versatility of Handling Disjunctions as Constraints}}, YEAR = {1993} } @INPROCEEDINGS{JourdanValdesPerez90, AUTHOR = {Jean Jourdan and R. Vald{\'e}s-P{\'e}rez}, BOOKTITLE = {Proc. of NACLP 90}, TITLE = {Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry}, YEAR = {1990}, KEYWORDS = {CLP, CHIP, PROLOG III}, LOCATION = {MM} } @INPROCEEDINGS{Kasif86, AUTHOR = {S. Kasif}, ADDRESS = {Philadelphia, Pa.}, BOOKTITLE = {AAAI-86}, PAGES = {349-353}, TITLE = {On the Parallel Complexity of Some Constraint Satisfaction Problems}, YEAR = {1986}, LOCATION = {MM} } @INPROCEEDINGS{Kasif89, AUTHOR = {S. Kasif}, BOOKTITLE = {First Int. Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada}, EDITOR = {R. Brachman and H. Levesque and R. Reiter}, NOTE = {extended abstract}, PAGES = {180--188}, PUBLISHER = {Morgan Kaufmann Publishers, San Mateo, CA}, TITLE = {Parallel Solutions to Constraint Satisfaction Problems}, YEAR = {1989}, KEYWORDS = {parallel constraint networks, constraint graphs, CSP, discrete relaxation method, P-complete, maximal solution for AC, Par-AC}, LOCATION = {MM} } @INPROCEEDINGS{kcm89, AUTHOR = {H. Benker and J.M. Beacco and S. Bescos and M. Dorochevsky and T. Jeffr\'{e} and A. P{\"o}hlmann and J. Noy\'{e} and B. Poterie and A. Sexton and J.C. Syre and O. Thibault and G. Watzlawik}, BOOKTITLE = {The 16th Annual International Symposium on Computer Architecture {(ISCA'89)}}, MONTH = {June}, PAGES = {186-194}, TITLE = {{KCM:} A Knowledge Crunching Machine}, YEAR = {1989}, LOCATION = {nowhere} } @INPROCEEDINGS{Koomen89, AUTHOR = {{Johannes A. G. M.} Koomen}, BOOKTITLE = {First Int. Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada}, EDITOR = {R. Brachman and H. Levesque and R. Reiter}, PAGES = {198--202}, PUBLISHER = {Morgan Kaufmann Publishers, San Mateo, CA}, TITLE = {Localizing Temporal Constraint Propagation}, YEAR = {1989}, KEYWORDS = {Allen's temporal logic, interval relations, localizing propagation, reference hierarchy, branching factor, non-monotonicity, backtracking}, LOCATION = {MM} } @ARTICLE{Kramer92, AUTHOR = {{Glenn A.} Kramer}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {327--360}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{A geometric Constraint Engine}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @MISC{Kuechenhoff92, AUTHOR = {Volker K\"uchenhoff}, HOWPUBLISHED = {internal Report ECRC-91-19i}, MONTH = jan, TITLE = {{Novel Search Techniques --- An Overview}}, YEAR = {1992}, LOCATION = {MM} } @TECHREPORT{Kumar90, AUTHOR = {V. Kumar}, ADDRESS = {Austin, TX}, INSTITUTION = {Microelectronics and Computer Technology Corporation}, MONTH = {February}, NUMBER = {ACT--RA--041--90}, TITLE = {Algorithms for Constraint Satisfaction Problems: A Survey}, YEAR = {1990}, KEYWORDS = {CSP, backtracking, arc-consistency, AC-1, k-consistency, ordered-constraint graph, width, adaptive consistency, intelligent backtracking, truth maintenance, tree structured networks}, LOCATION = {MM} } @ARTICLE{Kumar92, AUTHOR = {Vipin Kumar}, JOURNAL = {AI Magazine}, NUMBER = {1}, PAGES = {32--44}, TITLE = {{Algorithms for Constraint-Satisfaction Problems: A Survey}}, VOLUME = {13}, YEAR = {1992} } @INPROCEEDINGS{KumarRamesh+88, AUTHOR = {V. Kumar and K. Ramesh and V. {Nageshewara Rao}}, ADDRESS = {Saint Paul, Minnesota}, BOOKTITLE = {AAAI-88}, PAGES = {122-127}, TITLE = {Parallel Best-First Search of State-Space Graphs: A Summary of Results}, YEAR = {1988}, LOCATION = {nowhere} } @ARTICLE{LaiSahni87, AUTHOR = {T. Lai and S. Sahni}, JOURNAL = {Communications of the ACM}, MONTH = {March}, NUMBER = {6}, PAGES = {594-602}, TITLE = {Anomalies in Parallel Branch and Bound Algorithms}, VOLUME = {27}, YEAR = {1987}, LOCATION = {nowhere} } @INPROCEEDINGS{Lang91, AUTHOR = {Jerome Lang}, BOOKTITLE = {Fundamentals of AI Research FAIR91}, TITLE = {Possibilistic Logic as a Framework for MinMax discrete Optimisation Problems and prioritized Constraints}, YEAR = {1991}, LOCATION = {MM} } @ARTICLE{Lassez87, AUTHOR = {C. Lassez}, JOURNAL = {BYTE}, MONTH = {August}, PAGES = {171--176}, TITLE = {Constraint Logic Programming}, YEAR = {1987}, KEYWORDS = {CLP(R)}, LOCATION = {MM} } @ARTICLE{Lassez91, AUTHOR = {Jean-Louis Lassez}, JOURNAL = {Theoretical Aspects of Computer Software, 1991}, TITLE = {{From LP to LP: Programming with Constraints}}, YEAR = {1991} } @TECHREPORT{LassezMcAloon+88, AUTHOR = {C. Lassez and K. McAloon and R. Yap}, ADDRESS = {Yorktown Heights, N.Y.}, INSTITUTION = {IBM Research Division, T.J. Watson Research Center}, TITLE = {Constraint Logic Programming and Option Trading}, TYPE = {Research Report}, YEAR = {1988}, KEYWORDS = {CLP(R), option trading}, LOCATION = {MM} } @TECHREPORT{LassezMcAloon88, AUTHOR = {C. Lassez and K. McAloon}, ADDRESS = {Yorktown Heights, N.Y.}, INSTITUTION = {IBM Research Division, T.J. Watson Research Center}, MONTH = {August}, TITLE = {Independence of Negative Constraints in Logic Programming and in Linear Programming}, TYPE = {Research Report}, YEAR = {1988}, KEYWORDS = {negative constraints, linear programming, canonical from, positive constraints, constraint propagation}, LOCATION = {MM} } @INPROCEEDINGS{LeeLee+93, AUTHOR = {{Ho Geun} Lee and {Ronald M.} Lee and Gang Yu}, BOOKTITLE = {Proc. of {$26^{th}$} Hawaian Intl. Conf. on System Sciences}, PAGES = {543--552}, TITLE = {{Constraints Logic Programming and Mixed Integer Programming}}, YEAR = {1993}, LOCATION = {MM} } @MISC{Legeard91, AUTHOR = {Jean-Jacques Chabrier and Claudine Pradelles and Bruno Legeard}, HOWPUBLISHED = {Tutorial on industrial Applications of Constraints}, MONTH = {June}, NOTE = {from ICLP'91}, TITLE = {{A Cutting-Stock Application in {\sc Prolog III}}}, YEAR = {1991} } @BOOK{Leler88, AUTHOR = {Wim Leler}, PUBLISHER = {Addision--Wesley Publishing Company}, TITLE = {Constraint Programming Languages --- Their Specification and Generation}, YEAR = {1988}, KEYWORDS = {CSP, term rewriting, constraint language, equation solving}, LOCATION = {MM} } @TECHREPORT{LeProvostWallace92, AUTHOR = {Thierry {Le Provost} and Mark Wallace}, ADDRESS = {ECRC GmbH, Arabella Stra{\ss}e 17, 81925 M\"unchen, Germany}, MONTH = {February}, NUMBER = {Technical Report ECRC-92-1}, TITLE = {{Constraint Satisfaction over the CLP Scheme}}, YEAR = {1992} } @INPROCEEDINGS{Lhomme93, AUTHOR = {Olivier Lhomme}, BOOKTITLE = {\cite{IJCAI93}}, TITLE = {{Consistency Techniques for Numeric CSPs}}, PAGES = {232--238}, YEAR = {1993} } @INPROCEEDINGS{LimMorley90, AUTHOR = {Pierre Lim and D. Morley}, BOOKTITLE = {Programming Language Implementation And Logic Programming}, EDITOR = {P. Deransart and J. Maluszynski}, MONTH = {August}, PAGES = {106--120}, TITLE = {Implementing A Meta-Logical Scheme}, YEAR = {1990}, KEYWORDS = {CLP meta-language, meta-programming}, LOCATION = {MMMM} } @INPROCEEDINGS{LimSchimpf93, AUTHOR = {Pierre Lim and Joachim Schimpf}, BOOKTITLE = {Proc. PLILP'93}, PAGES = {44--59}, TITLE = {{A conservative Approach to Meta-Programming in Constraint Logic Programming}}, YEAR = {1993} } @INPROCEEDINGS{LimStuckey90a, AUTHOR = {Pierre Lim and {Peter J.} Stuckey}, BOOKTITLE = {Proc. of NACLP 90}, PAGES = {416--430}, TITLE = {Meta Programming as Constraint Programming}, YEAR = {1990}, KEYWORDS = {meta programming, CLP}, LOCATION = {MM} } @INPROCEEDINGS{LimStuckey90b, AUTHOR = {Pierre Lim and {Peter.J.} Stuckey}, BOOKTITLE = {Programming Language Implementation And Logic Programming}, EDITOR = {P. Deransart and J. Maluszynski}, MONTH = {August}, PAGES = {75--89}, TITLE = {A Constraint Logic Programming Shell}, YEAR = {1990}, KEYWORDS = {structure independent inference, CLPS interfaces}, LOCATION = {MM} } @INCOLLECTION{LiuEder90, AUTHOR = {Y. Liu and E. Eder}, BOOKTITLE = {The EUREKA Project PROTOS}, EDITOR = {H.--J. Appelrath and A. Cremers and O. Herzog}, MONTH = {April}, PAGES = {149--161}, TITLE = {Rule Based Mechanisms for Constraint Checking in Logic Programs}, YEAR = {1990}, KEYWORDS = {logic programming, program transformation, SLD-Resolution, and-or trees}, LOCATION = {MM} } @ARTICLE{LiuKu92, AUTHOR = {Bing Liu and Yuen-Wah Ku}, JOURNAL = {ACM SIGPLAN Notices}, MONTH = {November}, NUMBER = {11}, PAGES = {17--26}, TITLE = {{\sc ConstraintLisp:} An Object-Oriented Constraint Programming Language}, VOLUME = {27}, YEAR = {1992}, LOCATION = {MM} } @ARTICLE{LiuLooi??, AUTHOR = {Bing Liu and Chee-Kit Looi}, TITLE = {Relaxed Constraint Satisfaction}, LOCATION = {MM} } @INPROCEEDINGS{LiuPopplestone90, AUTHOR = {Y. Liu and R. Popplestone}, BOOKTITLE = {Proc. of AAAI 90}, PAGES = {1038--1044}, TITLE = {Symmetry Constraint Inference in Assembly Planning}, YEAR = {1990}, KEYWORDS = {CSP, assembly planning}, LOCATION = {MM} } @PROCEEDINGS{LPSS92, EDITOR = {G. Comyn and {N. E.} Fuchs and {M. J.} Ratcliffe}, MONTH = sep, NOTE = {Proc of {$2^{nd}$} Intl. Logic Progr. Summer School}, PUBLISHER = {Spinger}, TITLE = {{Logic Programming in Action}}, YEAR = {1992}, LOCATION = {MM}, ISSN_ISBN = {3-540-55930-2} } @ARTICLE{Mackworth77, AUTHOR = {Alan Mackworth}, JOURNAL = {Artificial Intelligence}, PAGES = {99--118}, TITLE = {{Consistency in Networks of Relations}}, VOLUME = {8}, YEAR = {1977}, KEYWORDS = {CSP, node consistency, arc consistency, path consistency, network consistency algorithm, backtracking, thrashing behavior of backtracking, AC-1, Waltz, AC-2, AC-3, operations on relations, minimal network, PC-1, PC-2}, LOCATION = {MM} } @ARTICLE{Mackworth92, AUTHOR = {{Alan K.} Mackworth}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {3--20}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{The Logic of Constraint Satisfaction}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @ARTICLE{MackworthFreuder85, AUTHOR = {Alan Mackworth and Eugene Freuder}, JOURNAL = {Artificial Intelligence}, PAGES = {65--73}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {The Complexity of some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems}, VOLUME = {25}, YEAR = {1985}, KEYWORDS = {CSP, local inconsitency, complexity, edge labelling}, LOCATION = {MM} } @ARTICLE{MackworthMulder+85, AUTHOR = {Alan Mackworth and J. Mulder and W. Havens}, JOURNAL = {Computational Intelligence}, PAGES = {118--126}, TITLE = {Hierarchical Arc Consistency: Exploiting Structured Domains in Constraint Satisfaction Problems}, VOLUME = {1}, YEAR = {1985}, KEYWORDS = {CSP, network consistency algorithm, arc consistency, NC-1, AC3, hierarchy, HAC}, LOCATION = {MM} } @MISC{MaherStuckey??, AUTHOR = {M. J. Maher and {Peter J.} Stuckey}, TITLE = {Expanding Query Power in Constraint Logic Programming Languages}, KEYWORDS = {CLP, query, constraint hierarchies}, LOCATION = {MM} } @INPROCEEDINGS{Maim92, AUTHOR = {Enrico Maim}, BOOKTITLE = {Proceedings of ECAI`92}, EDITOR = {B. Neumann}, PAGES = {149--153}, TITLE = {Abduction and Constraint Logic Programming}, YEAR = {1992} } @PHDTHESIS{Maleki87, AUTHOR = {Jalal Maleki}, ADDRESS = {S-581 83 Link\"oping, Sweden}, SCHOOL = {Department of Computer and Information Science, Link\"oping}, TITLE = {{ICONstraint --- A Dependency directed Constraint Maintenance System}}, YEAR = {19987}, LOCATION = {MM} } @TECHREPORT{Mantsivoda93, AUTHOR = {{Andrei V.} Mantsivoda}, INSTITUTION = {Irkutsk State University}, MONTH = jul, NOTE = {draft}, NUMBER = {25-07/93}, TITLE = {{Disjunctive Constraints and finite Domains}}, YEAR = {1993} } @INPROCEEDINGS{MartensBruynooghe??, AUTHOR = {Martens and Bruynooghe}, BOOKTITLE = {Proc. {$2^{nd}$} Int. Conf. on Expert Database Systems}, PAGES = {576--601}, TITLE = {{Integrity Constraint Checking in function-free deductive Databases}}, LOCATION = {MM} } @INPROCEEDINGS{MaruyamaMinoda+91, AUTHOR = {Fumihiri Maruyama and Yoriko Minoda and Shuho Sawada and Yuka Takizawa and Nobuaki Kawato}, BOOKTITLE = {Proc. ISAI'91}, TITLE = {{Solving combinatorial Constraint Satisfaction and Optimization Problems using sufficient Conditions for Constraint Violation}}, YEAR = {1991}, LOCATION = {MM} } @INPROCEEDINGS{MeiriDechter+90, AUTHOR = {I. Meiri and R. Dechter and J. Pearl}, BOOKTITLE = {Proc. of AAAI 90}, PAGES = {10--16}, TITLE = {Tree Decomposition with Applications to Constraint Processing}, YEAR = {1990}, KEYWORDS = {CSP, constraint graph, tree decomposition}, LOCATION = {MM} } @INPROCEEDINGS{MenezesBarahona91, AUTHOR = {Francisco Menezes and Pedro Barahona}, BOOKTITLE = {\cite{EPIA91}}, PAGES = {17--29}, TITLE = {{Constraint Solving in Finite Domains under User Control}}, YEAR = {1991} } @ARTICLE{MengSullivan91, AUTHOR = {Chao-Chiang Meng and Michael Sullivan}, JOURNAL = {IEEE Expert}, MONTH = feb, PAGES = {20--28}, TITLE = {LOGOS: A constraint-directed Reasoning Shell for Operations Management}, YEAR = {1991}, LOCATION = {MM} } @ARTICLE{Meseguer89, AUTHOR = {P. Meseguer}, JOURNAL = {AI Communications}, MONTH = mar, NUMBER = {1}, PAGES = {3--17}, TITLE = {Constraint Satisfaction Problems: An Overview}, VOLUME = {2}, YEAR = {1989}, KEYWORDS = {CSP, backtracking, modify search space, local consistency, explicit constraint, implicit constraint, minimal graph, k-consistency, local constraint propagation, backtrack-free, directional consistency, adaptive consistency, backtrack-bounded, look-ahead, look-back, heuristics}, LOCATION = {MM} } @MISC{Meyer91, AUTHOR = {Manfred Meyer}, HOWPUBLISHED = {ARC-TEC Discussion Paper 91-03}, MONTH = {March}, NOTE = {Slideshow}, TITLE = {{Connecting Constraint Systems to the WAM}}, YEAR = {1991} } @INPROCEEDINGS{Meyer92, AUTHOR = {Manfred Meyer}, BOOKTITLE = {Proceedings of International S\"umposium on AI}, MONTH = {December}, PAGES = {167--177}, TITLE = {{Using hierarchical Constraint Satisfaction for Lathe-tool Selection in a CIM Environment}}, YEAR = {1992}, KEYWORDS = {CONTAX}, LOCATION = {MM} } @ARTICLE{MeyerHein+91, AUTHOR = {Manfred Meyer and Hans-G\"unther Hein and J\"org M\"uller}, MONTH = {May}, PAGES = {7}, TITLE = {{{\sc FiDo}: Consistency Techniques in Logic Programming}} } @INPROCEEDINGS{Mezetic91, AUTHOR = {Igor Motezetic}, BOOKTITLE = {Proceedings of ILPS'91}, PAGES = {679--692}, TITLE = {{Integrating numerical and qualitative Models within CLP}}, YEAR = {1991} } @INPROCEEDINGS{MintonJohnston+90, AUTHOR = {S. Minton and M. Johnston and A. Philips and P. Laird}, BOOKTITLE = {Proc. of AAAI 90}, PAGES = {17--24}, TITLE = {Solving Large--Scale Constraint Satisfaction and Scheduling Problems Using a Heuristic Repair Method}, YEAR = {1990}, KEYWORDS = {scheduling problems, min-conflict heuristic}, LOCATION = {MM} } @ARTICLE{MintonJohnston+92, AUTHOR = {Steven Minton and {Mark D.} Johnston and {Andrew B.} Philips and Philip Laird}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {161--205}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @INPROCEEDINGS{MittalFalkenhainer90, AUTHOR = {S. Mittal and B. Falkenhainer}, BOOKTITLE = {Proc. of AAAI 90}, PAGES = {25--32}, TITLE = {Dynamic Constraint Satisfaction Problems}, YEAR = {1990}, KEYWORDS = {CSP, dynamic constraint satisfaction problem, compatibility constraints, activity constraints, configuration, ATMS, backtracking}, LOCATION = {MM} } @INPROCEEDINGS{MittalFrayman87, AUTHOR = {S. Mittal and F. Frayman}, BOOKTITLE = {Proc. of AAAI 87}, PAGES = {631--636}, TITLE = {Making Partial Choices in Constraint Reasoning Problems}, YEAR = {1987}, KEYWORDS = {CSP, structured domains, least commitment, partial commitment, partial guess, taxonomies}, LOCATION = {MM} } @ARTICLE{MontanariRossi90, AUTHOR = {Ugo Montanari and Francesca Rossi}, JOURNAL = {Artificial Intelligence}, MONTH = {February}, PAGES = {143--170}, TITLE = {Constraint Relaxation may be perfect}, VOLUME = {48}, YEAR = {1991} } @INPROCEEDINGS{Morgenstern84, AUTHOR = {M. Morgenstern}, BOOKTITLE = {Proc. of AAAI 84}, PAGES = {255--259}, TITLE = {Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks}, YEAR = {1984}, KEYWORDS = {constraint equations, constraint specification, connection path, automatic constraint enforcment, KL-ONE, NIKL}, LOCATION = {MM} } @INPROCEEDINGS{MozeticHolzbaur+91, AUTHOR = {Igor Mozeti\v{c} and Christian Holzbaur and Franc Novak and Marina Santo-Zarnik}, BOOKTITLE = {{Verteilte K\"unstliche Intelligenz und kooperatives Arbeiten}}, EDITOR = {W. Brauer and D. Hern\'andez}, PAGES = {343--353}, PUBLISHER = {Springer-Verlag}, TITLE = {{Model-based analogue Circuit Diagnosis with CLP({$\cal R$})}}, YEAR = {1991}, LOCATION = {MM} } @INCOLLECTION{Mueller90, AUTHOR = {B. M{\"u}ller}, BOOKTITLE = {The EUREKA Project PROTOS}, EDITOR = {H.--J. Appelrath and A. Cremers and O. Herzog}, MONTH = {April}, PAGES = {59--66}, TITLE = {Planning with Constraint Satisfaction Algorithms}, YEAR = {1990}, KEYWORDS = {CSP, backtracking, forward checking, PROTOS, production planning}, LOCATION = {MM} } @TECHREPORT{Mueller91a, AUTHOR = {J\"org M\"uller}, ADDRESS = {Postfach 2080, D-67608 Kaiserslautern, Germany}, INSTITUTION = {DFKI}, MONTH = {November}, NUMBER = {D-91-02}, TITLE = {{Design and Implementation of a Finite Domain Constraint Logic Programming System based on {\sc Prolog} with Coroutining}}, TYPE = {Document}, YEAR = {1991}, LOCATION = {MM} } @MISC{Mueller91b, AUTHOR = {J\"org M\"uller}, MONTH = {May}, NOTE = {In German}, PAGES = {14}, TITLE = {{Deklarationen in CLP-Systemen: bewertende Darstellung der Designalternative}}, YEAR = {1991} } @INPROCEEDINGS{Nadel90, AUTHOR = {B. Nadel}, BOOKTITLE = {Proc. of AAAI 90}, PAGES = {33--39}, TITLE = {The Complexity of Constraint Satisfaction in {Prolog}}, YEAR = {1990}, KEYWORDS = {CSP, sequential constraint satisfaction problems, probability model}, LOCATION = {MM} } @INPROCEEDINGS{OhwadaMizoguchi90, AUTHOR = {H. Ohwada and F. Mizoguchi}, BOOKTITLE = {Proc. of NACLP 90}, TITLE = {A Constraint Programming Language Approach for Maintaining Consistency in User--Interface Design}, YEAR = {1990}, KEYWORDS = {Triton, default constraint}, LOCATION = {MM} } @MISC{Ovans92, AUTHOR = {Russel Ovans}, MONTH = {January}, TITLE = {Efficient Music Composition via Constraint Techniques}, YEAR = {1992} } @MASTERSTHESIS{Paulokat90, AUTHOR = {H.--J. Paulokat}, MONTH = {November}, NOTE = {In German.}, SCHOOL = {University of Kaiserslautern, Department of Computer Science}, TITLE = {{Ein System zur Verarbeitung und Relaxierung von Constraints}}, YEAR = {1990}, KEYWORDS = {IDA, relaxation}, LOCATION = {MM} } @INPROCEEDINGS{PodelskiVanRoy93, AUTHOR = {Andreas Podelski and Peter {Van Roy}}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {15--42}, TITLE = {{The Beaty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally}}, YEAR = {1993} } @MISC{Porcher??, AUTHOR = {Franck Porcher}, TITLE = {{\sc Colsylog:} Symbolic Constraints in Logic Programming}, KEYWORDS = {Prolog, COSYLOG, concepts, Semantic unification, DGC unification, constraints propagation, CLP(Conceptual Theory)}, LOCATION = {MM} } @MISC{PPCP93, AUTHOR = {Claudine Pradelles}, HOWPUBLISHED = {Reference material for workshop participantsTutorial on industrial Applications of Constraints}, MONTH = aprJune, NOTE = {Entered at ICLP'91}, TITLE = {{Posistion Papers for the first Workshop on Principles and Practice of Constraint Programming}, YEAR = {1993} {Planning and Scheduling using {\sc Chip}}}, YEAR = {1991}, LOCATION = {MM} } @MISC{Prehofer92, AUTHOR = {Christian Prehofer}, NOTE = {In German.}, TITLE = {{Eine effiziente Constraint-Logik f\"ur polymorphe, ordnungssortierte Logik}}, YEAR = {1992} } @INPROCEEDINGS{Prosser93, AUTHOR = {Patrick Prosser}, BOOKTITLE = {\cite{IJCAI93}}, TITLE = {{Domain Filtering can degrade intelligent Backtracking Search}}, PAGES = {262--267}, YEAR = {1993} } @INPROCEEDINGS{Reinefeld93, AUTHOR = {Alexander Reinefeld}, BOOKTITLE = {\cite{IJCAI93}}, TITLE = {{Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDA$^*$}}, YEAR = {1993} } @TECHREPORT{Reinfrank85a, AUTHOR = {M. Reinfrank}, INSTITUTION = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern}, MONTH = {August}, NUMBER = {SEKI--85--06}, TITLE = {Scene Labelling by a Society of Agents -- A Distributed Constraint Propagation System}, TYPE = {SEKI MEMO}, YEAR = {1985}, KEYWORDS = {SCENELAB, constraint filtering, cooperating agents, labelling problem}, LOCATION = {MM} } @TECHREPORT{Reinfrank85b, AUTHOR = {M. Reinfrank}, INSTITUTION = {Fachbereich Informatik, Universit{\"a}t Kaiserslautern}, MONTH = {August}, NUMBER = {SEKI--84--07}, TITLE = {Distributed Constraint Propagation System: A Case Study}, TYPE = {SEKI MEMO}, YEAR = {1984}, KEYWORDS = {Waltz, SCENELAB, cooperating agents, CSSA}, LOCATION = {MM} } @MISC{Ricci90, AUTHOR = {Francesco Ricci}, TITLE = {{Solving Constraint Satisfaction Problems using Reinforcement Schemes}}, YEAR = {1990} } @MISC{Ricci92, AUTHOR = {Francesco Ricci}, TITLE = {Equilibrium and Constraint Networks}, YEAR = {1992} } @ARTICLE{RoachSundararajan+90, AUTHOR = {{J. W.} Roach and R. Sundararajan and {L. T. Watson}}, JOURNAL = {J. of Automated Reasoning}, NUMBER = {6}, PAGES = {51--75}, TITLE = {{Replacing Unification by Constraint Satisfaction to improve Logic Program Expressiveness}}, YEAR = {1990}, LOCATION = {MM} } @MASTERSTHESIS{Roessig91, AUTHOR = {Karin R\"ossig}, MONTH = {March}, NOTE = {In German.}, SCHOOL = {Institut f\"ur Informatik und Praktische Mathematik, Christian-Albrechts-Univesit\"at Kiel}, TITLE = {{\"Ubersetzung des BABYLON-Constraint-Formalismus nach CommonLisp}}, YEAR = {1991} } @ARTICLE{Rossi88, AUTHOR = {Francesca Rossi}, JOURNAL = {SIGART Newsletter}, MONTH = {October}, NUMBER = {106}, PAGES = {24--28}, TITLE = {Constraint Satisfaction Problems In Logic Programming}, YEAR = {1988}, KEYWORDS = {CSP, relaxation, metaprograms}, LOCATION = {MM} } @INPROCEEDINGS{RossiMontanari89, AUTHOR = {Francesca Rossi and Ugo Montanari}, BOOKTITLE = {First Int. Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada}, EDITOR = {R. Brachman and H. Levesque and R. Reiter}, PAGES = {394--399}, PUBLISHER = {Morgan Kaufmann Publishers, San Mateo, CA}, TITLE = {Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation}, YEAR = {1989}, KEYWORDS = {relaxation}, LOCATION = {MM} } @INPROCEEDINGS{RossiMontanari90, AUTHOR = {Francesca Rossi and Ugo Montanari}, ADDRESS = {Celestijnenlaan 200A, B-3030 Leuven(heverlee), Belgium}, BOOKTITLE = {Proc. $2^{nd}$ Workshop on Meta-programming in Logic}, EDITOR = {M. Bruynooghe}, MONTH = {April}, ORGANIZATION = {K.U. Leuven, Department of Computer Science}, PAGES = {82--101}, TITLE = {Constraint Relaxation as Higher Order Logic Programming}, YEAR = {1990} } @INPROCEEDINGS{RossiPetrie+90, AUTHOR = {Francesca Rossi and Charles Petrie and Vasant Dhar}, BOOKTITLE = {Proc. of ECAI'90}, TITLE = {{On the Equivalence of Constraint Satisfaction Problems}}, YEAR = {1990}, LOCATION = {MM} } @INPROCEEDINGS{Santos93, AUTHOR = {Eugene {Santos Jr.}}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {93--106}, TITLE = {{On Modelling Time and Uncertainty for Diagnosis through linear Constraint Satisfaction}}, YEAR = {1993} } @INPROCEEDINGS{Santos93a, AUTHOR = {Eugene {Santos Jr.}}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {183--194}, TITLE = {{Efficient Jumpstarting of Hill-Climbing Search for the most probable Explanation}}, YEAR = {1993} } @MISC{Saraswat90, AUTHOR = {V. A. Saraswat}, HOWPUBLISHED = {Tutorial at ICLP 90, Jerusalem}, TITLE = {The Paradigm of Concurrent Constraint Programming}, YEAR = {1990}, KEYWORDS = {constraint systems, Janus}, LOCATION = {MM} } @BOOK{Saraswat93, AUTHOR = {{Vijay A.} Saraswat}, EDITOR = {Ehud Shapiro}, PUBLISHER = {MIT Press}, SERIES = {ACM Doctoral Dissertation Awards}, TITLE = {{Concurrent Constraint Programming}}, YEAR = {1993} } @INPROCEEDINGS{SaraswatKahn+90, AUTHOR = {V. Saraswat and K. Kahn and J. Levy}, BOOKTITLE = {Proc. of NACLP 90}, PAGES = {431--445}, TITLE = {{Janus:} A Step Towards Distributed Constraint Programming}, YEAR = {1990}, KEYWORDS = {CLP, open systems, distributed constraint programming, JANUS}, LOCATION = {MM} } @INPROCEEDINGS{Satoh90, AUTHOR = {Ken Satoh}, BOOKTITLE = {Proc. of ECAI'90}, TITLE = {{Formalizing soft Constraints by Interpretation Ordering}}, YEAR = {1990}, LOCATION = {MM} } @TECHREPORT{Satoh90a, AUTHOR = {Ken Satoh}, BOOKTITLE = {Proc. of ECAI'90}, INSTITUTION = {Institute for New Generation Computer Technology}, MONTH = oct, NUMBER = {TR-513}, TITLE = {{Formalizing soft Constraints by Interpretation Ordering}}, YEAR = {1989}, LOCATION = {MM} } @TECHREPORT{SatohAiba??, AUTHOR = {Ken Satoh and Akira Aiba}, INSTITUTION = {ICOT}, NUMBER = {ICOT-TR-6/0}, TITLE = {{Computing Soft Constraints by Hierarchical Constraint Logic Programming}}, LOCATION = {MM} } @ARTICLE{Savelsbergh88, AUTHOR = {M.W.P. Savelsbergh}, JOURNAL = {European Journal Of Operations Research}, MONTH = {July}, NUMBER = {1}, PAGES = {75--85}, TITLE = {An Efficient Implementation Of Local Search Algorithms For Constrained Routing Problems}, VOLUME = {47}, YEAR = {1990}, KEYWORDS = {side constraints, local search, iterative improvement, edge exchange}, LOCATION = {MM} } @INPROCEEDINGS{SaWarboys+93, AUTHOR = {Jin Sa and {Brian C.} Warboys and {John A.} Keane}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {143--158}, TITLE = {{OBM: A Specification Method for Modelling Organisational Process}}, YEAR = {1993} } @INPROCEEDINGS{Schevtchenko93, AUTHOR = {Aleksei Schevtchenko}, BOOKTITLE = {\cite{CSAM93}}, TITLE = {{Optimization of Job Scheduling for a Sheet-Metal Workshop}}, YEAR = {1993}, PAGSE = {251--260} } @TECHREPORT{Schmiedel88a, AUTHOR = {A. Schmiedel}, INSTITUTION = {Fachbereich Informatik, Technische Universit{\"a}t Berlin}, MONTH = {November}, NUMBER = {69}, TITLE = {Temporal Constraint Networks}, TYPE = {KIT -- Report}, YEAR = {1988}, KEYWORDS = {temporal reasoning, BACK, Allen}, LOCATION = {Unibib KLMM}, SIGNATURE = {INF 110/885--69} } @TECHREPORT{Schmiedel88b, AUTHOR = {A. Schmiedel}, INSTITUTION = {Fachbereich Informatik, Technische Universit{\"a}t Berlin}, MONTH = {November}, NUMBER = {70}, TITLE = {A Temporal Constraint Handler for the {BACK} System}, TYPE = {KIT -- Report}, YEAR = {1988}, KEYWORDS = {ABox, temporal reasoning, BACK, Allen, network partitioning}, LOCATION = {Unibib KLMM}, SIGNATURE = {INF 110/885--70} } @MASTERSTHESIS{Scholz90, AUTHOR = {J. Scholz}, SCHOOL = {Technical University of Munich, Department of Compute Science}, TITLE = {Constraint--Guided Scheduling for Satellite Data Processing and Archiving}, YEAR = {1990}, KEYWORDS = {scheduling problem, factory reference model, scheduling with constraint networks}, LOCATION = {MM} } @PHDTHESIS{Schwaerzler93, AUTHOR = {Gerhard Schw\"arzler}, NOTE = {Diss. ETH No. 9926}, SCHOOL = {ETH Z\"urich}, TITLE = {Knowledge-Based Modeling of Cooperative Processes}, YEAR = {1993}, LOCATION = {MMR} } @INPROCEEDINGS{SelmanKautz93, AUTHOR = {Bart Selman and Henry Kautz}, BOOKTITLE = {\cite{IJCAI93}}, TITLE = {{Domain-independent Extensions to GSAT: Solving large structured Satisfiability Problems}}, PAGES = {290--295}, YEAR = {1993} } @INPROCEEDINGS{SEPIA89, AUTHOR = {M. Meier and A. Aggoun and D. Chan and P. Dufresne and R. Enders and D.H. {de Villeneuve} and A. Herold and P. Kay and B. Perez and E. {van Rossum} and J. Schimpf}, BOOKTITLE = {{Proceedings of the IFIP 11th World Computer Congress}}, EDITOR = {G. Ritter}, MONTH = {August}, PAGES = {1127-1132}, TITLE = {{SEPIA} -- An Extendible {Prolog} System}, YEAR = {1989}, LOCATION = {nowhere} } @BOOK{ShanahanSouthwick89, AUTHOR = {M. Shanahan and R. Southwick}, PUBLISHER = {Ellis Horwood Limited}, TITLE = {Search, Inference and Dependencies in Artifical Intelligence}, YEAR = {1989}, KEYWORDS = {reason maintenance, constraint satisfaction, selective backtracking, theorem proving, incomplete information}, LOCATION = {MM} } @INPROCEEDINGS{Shapiro87a, AUTHOR = {E. Shapiro}, ADDRESS = {Melbourne, Australia}, BOOKTITLE = {Fourth International Conference on Logic Programming}, MONTH = {May}, PAGES = {311-337}, TITLE = {An OR-Parallel Execution Algorithm for {Prolog} and its {FCP} Implementation}, YEAR = {1987}, LOCATION = {nowhere} } @TECHREPORT{SidebottomHavens91, AUTHOR = {Greg Sidebottom and {William S.} Havens}, ADDRESS = {Simon Fraser University, Burnaby, British Columbia, V5A IS6, Canada}, INSTITUTION = {Expert Systems Lab, Centre for Systems Science and School of Computing Science}, NUMBER = {CSS-IS TR 91-06}, TITLE = {Hierarchical Arc Consistency applied to Numeric Processing in Constraint Logic Programming}, YEAR = {1991}, KEYWORDS = {constraint logic programming, numeric constraint processing, constraint-based reasoning, hierarchical arc-consistency, partial arc consistency}, LOCATION = {MM} } @INPROCEEDINGS{Simonis89, AUTHOR = {H. Simonis}, BOOKTITLE = {Proc. of ICLP 89}, PAGES = {101--112}, TITLE = {Test Generation Using the Constraint Logic Programming Language {CHIP}}, YEAR = {1989}, KEYWORDS = {CHIP, test pattern generation, integrated circuit}, LOCATION = {MM} } @TECHREPORT{Skuppin89, AUTHOR = {R. Skuppin}, ADDRESS = {Ulm, Germany}, INSTITUTION = {Forschungsinstitut f{\"u}r anwendungsorientierte Wissensverarbeitung}, MONTH = {April}, NUMBER = {B--8905}, TITLE = {Modelling of Technical Systems and Measurement Evaluation by Means of {PROLOG III}}, TYPE = {FAW Bericht}, YEAR = {1989}, KEYWORDS = {PROLOG III, technical models, measurement evaluation and diagnosis}, LOCATION = {MM} } @INPROCEEDINGS{Smith92, AUTHOR = {{Barbara M.} Smith}, BOOKTITLE = {Proceedings of ECAI`92}, EDITOR = {B. Neumann}, PAGES = {36--38}, TITLE = {How to solve the Zebra Problem, or Path Consistency the Easy Way}, YEAR = {1992} } @INPROCEEDINGS{SmithHickey90, AUTHOR = {D. Smith and T. Hickey}, BOOKTITLE = {Proc. of NACLP 90}, TITLE = {Partial Evaluation of a {CLP} Language}, YEAR = {1990}, KEYWORDS = {CLP(FT), partial evaluation, delayed unification, constraint lifting}, LOCATION = {MM} } @INPROCEEDINGS{Smolka91, AUTHOR = {Gert Smolka}, INSTITUTION = {German Research Center for AI}, MONTH = {March}, TITLE = {Residuation And Guarded Rules For Constraint Logic Programming}, YEAR = {1991}, KEYWORDS = {strong determinate reduction, constraint simplification, residuation, guarded rules}, LOCATION = {MM} } @MISC{Smolka91a, AUTHOR = {Gert Smolka}, HOWPUBLISHED = {Projektbeschreibung}, MONTH = {April}, NOTE = {In German.}, TITLE = {{{\sc Hydra}: Berechnung und Deduktion mit Constraints}}, YEAR = {1991}, LOCATION = {MM} } @ARTICLE{SosicGu90, AUTHOR = {R. Sosic and J. Gu}, JOURNAL = {SIGART Bulletin}, NUMBER = {3}, PAGES = {7--11}, TITLE = {A Polynomial Time Algorithm for the $n$-Queens Problem}, VOLUME = {1}, YEAR = {1990}, KEYWORDS = {combinatorial search, gradient-based heuristic, local search, n-queens problem, non-backtracking, fast search algorithm}, LOCATION = {MM} } @TECHREPORT{SpenkeBeilken88, AUTHOR = {Michael Spenke and Christian Beilken}, INSTITUTION = {Verbundprojekt WISDOM, BMFT}, MONTH = nov, TITLE = {{{\sc Perplex}: A Spreadsheet Interface for Logic Programming by Example}}, YEAR = {1988} } @INPROCEEDINGS{SpenkeBeilken89, AUTHOR = {Michael Spenke and Christian Beilken}, BOOKTITLE = {Proc. of CHI'89}, TITLE = {{A Spredsheet Interface for Logic Programming}}, YEAR = {1989} } @ARTICLE{StallmanSussman77, AUTHOR = {R. Stallman and Gerald Sussman}, JOURNAL = {Artificial Intelligence}, PAGES = {135--196}, TITLE = {Forward Reasoning and Dependency--Directed Backtracking in a System for Computer--Aided Circuit Analysis}, VOLUME = {9}, YEAR = {1977}, KEYWORDS = {propagation, justification, data-base context, dependency-directed backtracking, ARS, context}, LOCATION = {MM} } @MISC{Steinle93, AUTHOR = {{Frank Steinle}}, HOWPUBLISHED = {Projektarbeit}, MONTH = mar, NOTE = {In German}, TITLE = {{{\sc Hamlet}: Erweiterung eines Constraint-Systems um Negation und Disjunktion und dessen Anbindung an eine Konzeptbeschreibungssprache}}, YEAR = {1993} } @INCOLLECTION{StumptnerHaselboeck93, AUTHOR = {Markus Stumptner and Alois Haselb\"ock}, BOOKTITLE = {Beitr\"age zum 7. Workshop Planen und Konfigurieren}, EDITOR = {Alexander Horz}, INSTITUTION = {GMD}, MONTH = jan, NUMBER = {723}, PAGES = {167--170}, PUBLISHER = {GMD}, SERIES = {Arbeitspapiere der GMD}, TITLE = {{Configuring with Type Abstractions ina Dynamic Constraint Formalism}}, YEAR = {1993}, LOCATION = {MM} } @ARTICLE{SussmanSteele80, AUTHOR = {Gerald Sussman and Guy Steele}, JOURNAL = {Artificial Intelligence}, PAGES = {1--39}, TITLE = {{\sc Constraints} --- A Language for Expressing Almost-Hierarchical Descriptions}, VOLUME = {14}, YEAR = {1980}, KEYWORDS = {hierarchical constraint network, propagation, algebraic expression, simple constraint, CONSTRAINT}, LOCATION = {MM} } @INPROCEEDINGS{SwainCooper88, AUTHOR = {M. Swain and P. Cooper}, ADDRESS = {Saint Paul, Minnesota}, BOOKTITLE = {AAAI-88}, PAGES = {682-686}, TITLE = {Parallel Hardware for Constraint Satisfaction}, YEAR = {1988}, LOCATION = {MM} } @BOOKLET{Syska88, ADDRESS = {Fachbereich Informatik, Universit{\"a}t Hamburg}, EDITOR = {I. Syska}, KEY = {Syska}, MONTH = {December}, NOTE = {In German.}, TITLE = {{Unterlagen zum Arbeitstreffen ,,Constraints''}}, YEAR = {1988}, KEYWORDS = {CONSAT, EP, zeitliche Werte, Diagnose dynamischer Fehler, PLAKON, Handlungspl\"ane, IDA, Molek\"ul-Atom-Modell, CHIP, Arbeitsplanung}, LOCATION = {MM} } @INPROCEEDINGS{Tolba93, AUTHOR = {Hany Tolba}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {133--142}, TITLE = {{{\sc TemPro}: A temporal Constraint-based Reasoning Tool}}, YEAR = {1993} } @TECHREPORT{Tolzmann92b, AUTHOR = {E. Tolzmann}, ADDRESS = {P.\ O.\ Box 20 80, D-6750 Kaisers\-lautern, Germany}, INSTITUTION = {DFKI}, MONTH = {September}, NOTE = {In German.}, NUMBER = {D-92-26}, TITLE = {Realizing a Lathe-Tool Selection Module using the constraint system {\sc Contax}}, TYPE = {Document}, YEAR = {1992} } @MISC{Tolzmann??, AUTHOR = {Enno Tolzmann}, HOWPUBLISHED = {Seminar der AG Richter}, NOTE = {In German}, TITLE = {{Arbeiten mit Constraints}}, LOCATION = {MM} } @INPROCEEDINGS{Trombettoni93, AUTHOR = {Gilles Trombettoni}, BOOKTITLE = {\cite{CSAM93}}, PAGES = {123--132}, TITLE = {{CCMA*: A complete Constraint Maintenance Algorithm using Constraint Programming}}, YEAR = {1993} } @ARTICLE{VanBeck92, AUTHOR = {Peter {Van Beck}}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {297--326}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{Reasoning about qualitative temporal Information}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @PHDTHESIS{VanHentenryck87a, AUTHOR = {Pascal {Van Hentenryck}}, ADDRESS = {Belgium}, MONTH = {July}, SCHOOL = {{University of Namur}}, TITLE = {Consistency Techniques in Logic Programming}, YEAR = {1987}, LOCATION = {nowhere} } @INPROCEEDINGS{VanHentenryck87b, AUTHOR = {Pascal {Van Hentenryck}}, ADDRESS = {Milan, Italy}, BOOKTITLE = {IJCAI-87}, MONTH = {August}, TITLE = {A Framework for Consistency Techniques in Logic Programming}, YEAR = {1987}, LOCATION = {nowhere} } @ARTICLE{VanHentenryck88, AUTHOR = {Pascal {Van Hentenryck}}, BOOKTITLE = {SIGART Newsletter}, INSTITUTION = {ECRC Munich}, MONTH = {January}, NUMBER = {103}, PAGES = {31--35}, TITLE = {{A Constraint Approach To Mastermind In Logic Programming}}, YEAR = {1988}, KEYWORDS = {mastermind, declarative programming, embeded consistency techniques}, LOCATION = {MM} } @INPROCEEDINGS{VanHentenryck89a, AUTHOR = {Pascal {Van Hentenryck}}, BOOKTITLE = {Proc. of ICLP 89}, PAGES = {165--180}, TITLE = {Parallel Constraint Satisfaction in Logic Programming (Preliminary results of {\sc Chip} within {\sc PEPSys)}}, YEAR = {1989}, KEYWORDS = {CHIP, parallel constraint satisfaction, PEPSys, finite domains}, LOCATION = {MM} } @BOOK{VanHentenryck89b, AUTHOR = {Pascal {Van Hentenryck}}, ADDRESS = {Cambridge, Ma.}, PUBLISHER = {MIT Press}, TITLE = {Constraint Satisfaction in Logic Programming}, YEAR = {1989}, KEYWORDS = {CHIP, CLP, constraint satisfaction, finite domains}, LOCATION = {MM} } @INPROCEEDINGS{VanHentenryck90, AUTHOR = {Pascal {Van Hentenryck}}, BOOKTITLE = {Proc. of $7^{th}$ ICLP 1990}, EDITOR = {D.H.D. Warren and P. Szeredi}, MONTH = {June}, PAGES = {189--202}, TITLE = {Incremental Constraint Satisfaction in Logic Programming}, YEAR = {1990}, KEYWORDS = {CSP, CLP, CHIP, incremental constraint satisfaction, backtracking, reexecution, oracle, cut}, LOCATION = {MM} } @ARTICLE{VanHentenryck91a, AUTHOR = {Pascal {Van Hentenryck}}, JOURNAL = {The Knowledge Engineering Review}, NUMBER = {3}, PAGES = {151--194}, TITLE = {{Constraint Logic Programming}}, VOLUME = {6}, YEAR = {1991}, LOCATION = {MM} } @INPROCEEDINGS{VanHentenryckDincbas88, AUTHOR = {Pascal {Van Hentenryck} and Mehmet Dincbas}, BOOKTITLE = {Proc. of ICLP 88}, PAGES = {229--256}, TITLE = {Forward Checking in Logic Programming}, YEAR = {1988}, KEYWORDS = {CSP, foward checking, generalized forward checking,}, LOCATION = {MM} } @ARTICLE{VanHentenryckGraf92, AUTHOR = {Pascal {Van Hentenryck} and Thomas Graf}, JOURNAL = {Artificial Intelligence and Mathematics}, NUMBER = {5}, PAGES = {303--320}, TITLE = {Standard forms for rational linear arithmetic in constraint logic programming}, YEAR = {1992} } @ARTICLE{VanHentenryckLeProvost91, AUTHOR = {Pascal {Van Hentenryck} and Thierry {Le Provost}}, JOURNAL = {New Generation Computing}, NUMBER = {9}, PAGES = {257--275}, TITLE = {{Incremental Search in Constraint Logic Programming}}, YEAR = {1991}, LOCATION = {MM} } @MISC{VanHentenryckSaraswat+??, AUTHOR = {Pascal {Van Hentenryck} and Vijav Saraswat and Yves Deville}, TITLE = {Constraint Processing in {\tt cc(FD)}} } @ARTICLE{VanHentenryckSimonis+92, AUTHOR = {Pascal {Van Hentenryck} and Helmut Simonis and Mehmet Dincbas}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {113--159}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{Constraint Satisfaction using Constraint Logic Programming}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @INPROCEEDINGS{Vlasie93, AUTHOR = {{Dan R.} Vlasie}, BOOKTITLE = {\cite{CSAM93}}, TITLE = {{Using partial Satisfaction for Solving Sets of Constraint Generators}}, YEAR = {1993} } @TECHREPORT{Voda88, AUTHOR = {P. Voda}, ADDRESS = {North Vancouver, British Columbia, Canada}, INSTITUTION = {Complete Logic Systems}, TITLE = {The Constraint Language Trilogy: Semantics and Computations}, TYPE = {{Technical Report}}, YEAR = {1988}, LOCATION = {MM} } @TECHREPORT{VossVoss87, AUTHOR = {A. Vo{\ss} and H. Vo{\ss}}, INSTITUTION = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung mbH}, MONTH = {May}, NUMBER = {248}, TITLE = {Formalizing Local Constraint Propagation Methods}, TYPE = {Arbeitspapiere der GMD}, YEAR = {1987}, KEYWORDS = {constraint networks, global consistency, local constistency, local propagation}, LOCATION = {MM} } @ARTICLE{WahMa84, AUTHOR = {{Benjamin W.} Wah and Y. Ma}, JOURNAL = {IEEE Transactions on Computers}, MONTH = {May}, NUMBER = {5}, PAGES = {377-390}, TITLE = {{\sc Manip}: A Multicomputer Architecture for Solving Combinatorial Extremum-Search Problems}, VOLUME = {33}, YEAR = {1984}, LOCATION = {nowhere} } @INPROCEEDINGS{Wald??, AUTHOR = {{Joseph A.} Wald}, BOOKTITLE = {Proc. {$2^{nd}$} Int. Conf. on Expert Database Systems}, PAGES = {163--183}, TITLE = {{Implementing Constraints in a Knowledge Base}}, YEAR = {??}, LOCATION = {mm} } @INPROCEEDINGS{Walinsky89, AUTHOR = {C. Walinsky}, BOOKTITLE = {Proc. of ICLP 89}, PAGES = {181--196}, TITLE = {{CLP(${\sum}^*$):}{Constraint Logic Programming with Regular Sets}}, YEAR = {1989}, KEYWORDS = {CLP, regular sets}, LOCATION = {MM} } @INPROCEEDINGS{Wallace93, AUTHOR = {{Richard J.} Wallace}, BOOKTITLE = {\cite{IJCAI93}}, TITLE = {{Why AC-3 is almost always better than AC-4 for Establishing Arc Consistency in CSPs}}, PAGES = {239--245}, YEAR = {1993} } @INPROCEEDINGS{Warren87a, AUTHOR = {D.H.D. Warren}, BOOKTITLE = {International Symposium on Logic Programming}, MONTH = {September}, PAGES = {46-53}, TITLE = {The {SRI} Model for Or-Parallel Execution of {Prolog}. Abstract Design and Implementation Issues}, YEAR = {1987}, LOCATION = {MMnowhere} } @INPROCEEDINGS{WeidaLitmann92, AUTHOR = {Robert Weida and Diane Litman}, BOOKTITLE = {Proceedings of KR`92}, PAGES = {282--293}, TITLE = {Terminological Reasoning with Constraint Networks and an Application to Plan Recognition to Plan Recognition}, YEAR = {1992} } @INPROCEEDINGS{WestphalRobert87, AUTHOR = {Westphal and Robert}, BOOKTITLE = {International Symposium on Logic Programming}, MONTH = {September}, PAGES = {436-448}, TITLE = {The {PEPSys} Model: Combining Backtracking, AND- and OR-parallelism}, YEAR = {1987}, KEYWORDS = {PEPSys,or-parallelism,and-parallelism}, LOCATION = {nowhere} } @INPROCEEDINGS{WilsonBorning89, AUTHOR = {M. Wilson and A. Borning}, BOOKTITLE = {Proc. of IJCAI 89}, NOTE = {also in Proceedings of NACLP-89 (2nd edition)}, PAGES = {290--295}, TITLE = {Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter--Hierarchy Comparison}, YEAR = {1989}, KEYWORDS = {hierarchical CLP, CHIP, ThingLab}, LOCATION = {MM} } @INBOOK{Winston84, AUTHOR = {P. Winston}, CHAPTER = {3}, EDITION = {$2^{nd}$}, PUBLISHER = {Addison--Wesley Publishing Company}, TITLE = {Aritifical Intelligence}, YEAR = {1984}, KEYWORDS = {symbolic constraint, numeric constraint, constraint propagation, dependency-directed backtracking, justification}, LOCATION = {MM} } @INBOOK{Winston??, AUTHOR = {Patrick Winston}, CHAPTER = {23}, EDITION = {$3^{rd}$}, PAGES = {335--351}, PUBLISHER = {Addison--Wesley Publishing Company}, TITLE = {Artificial Intelligence} } @TECHREPORT{XuVeron91, AUTHOR = {Jiyang Xu and Andr\`e V\`eron}, ADDRESS = {Arabellastra\"se 17, 81925 M\"unchen, Germany}, INSTITUTION = {ECRC}, MONTH = {March}, NUMBER = {DPS-105}, TITLE = {{Types and Constraints in the parallel Logic Programming System {\sc ElipSys}}}, YEAR = {1991} } @INPROCEEDINGS{Yang90, AUTHOR = {Qiang Yang}, BOOKTITLE = {Proc. of AAAI'90}, PAGES = {40--45}, TITLE = {{An algebraic Approach to Conflict Resolution in Planning}}, YEAR = {1990} } @ARTICLE{Yang92, AUTHOR = {Qiang Yang}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {361--392}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{A Theory of Conflict Resolution in Planning}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} } @INPROCEEDINGS{Zabih90, AUTHOR = {R. Zabih}, BOOKTITLE = {Proc. of AAAI 90}, PAGES = {46--51}, TITLE = {Some Applications of Graph Bandwidth to Constraint Satisfaction Problems}, YEAR = {1990}, KEYWORDS = {CSP, constraint graph, bandwidth, intelligent backtracking}, LOCATION = {MM} } @MASTERSTHESIS{Zahn93, AUTHOR = {Martin Zahn}, MONTH = {February}, NOTE = {In German}, SCHOOL = {Universit\"at Karlsruhe}, TITLE = {{Entwurf und Implementierung eines Expertensystemkerns zur Konfiguration -- unter Verwendung eines zu entwickelnden Constraints--Erf\"ullung--Systems}}, YEAR = {1993}, LOCATION = {MM} } @ARTICLE{ZwebenDavis+92, AUTHOR = {Monte Zweben and Eugene Davis and Brian Daun and Ellen Drascher and Michael Deale and Megan Eskey}, EDITOR = {{Eugene C. Freuder} and {Alan K.} Mackworth}, JOURNAL = {{Artificial Intelligence, Special Volume: Constraint-based Reasoning}}, NUMBER = {1--3}, PAGES = {271--296}, PUBLISHER = {Elsevier Science Publishers B.V.}, TITLE = {{Learning to improve Constraint-based Scheduling}}, VOLUME = {58}, YEAR = {1992}, LOCATION = {MM} }