array ( 'type' => 'InCollection', ) array ( 'address' => 'Providence, RI, USA', 'author' => 'Joachim P. Walser', 'booktitle' => 'Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI-97/IAAI-97)', 'key' => 'AAAI97', 'month' => 'July', 'pages' => '269--274', 'publisher' => 'AAAI Press', 'title' => 'Solving Linear pseudo-Boolean Constraint Problems with Local Search', 'type' => 'INPROCEEDINGS', 'year' => '1997', ) array ( 'author' => 'Martin Henz and Jörg Würtz', 'journal' => 'Applied Artificial Intelligence', 'key' => 'AAI96', 'number' => '5', 'pages' => '439--453', 'title' => 'Constraint-based Time Tabling---A Case Study', 'type' => 'Article', 'volume' => '10', 'year' => '1996', ) array ( 'author' => 'Christian Bessière', 'journal' => 'Artificial Intelligence', 'key' => 'AC6', 'number' => '1', 'pages' => '179--190', 'title' => 'Arc-Consistency and Arc-consistency Again', 'type' => 'article', 'volume' => '65', 'year' => '1994', ) array ( 'address' => 'Montréal, Québec, Canada', 'author' => 'Christian Bessière and Eugene Freuder and Jean-Charles Régin', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Chris S. Mellish', 'key' => 'AC7', 'month' => 'aug', 'pages' => '592--598', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Using Inference to Reduce Arc Consistency Computation', 'type' => 'inproceedings', 'year' => '1995', ) array ( 'author' => 'Martin Henz', 'journal' => 'Operations Research', 'key' => 'ACC98', 'note' => 'to appear', 'number' => '1', 'title' => 'Scheduling a Major College Basketball Conference---Revisited', 'type' => 'Article', 'volume' => '49', 'year' => '2001', ) array ( 'author' => 'Manfred Schmidt-Schauß and Gert Smolka', 'journal' => 'Artificial Intelligence', 'key' => 'ACDS88', 'pages' => '1--26', 'title' => 'Attributive Concept Descriptions with Complements', 'type' => 'article', 'volume' => '48', 'year' => '1991', ) array ( 'address' => '', 'author' => 'Enrico Pontelli and Gopal Gupta and Manuel Hermenegildo', 'booktitle' => '9th International Parallel Processing Symposium', 'key' => 'ACE', 'pages' => '564--571', 'publisher' => 'IEEE Press', 'title' => '&ACE: A High Performance Parallel Prolog System', 'type' => 'inproceedings', 'year' => '1995', ) array ( 'address' => 'San Diego, USA', 'author' => 'Janson, Sverker and Haridi, Seif', 'booktitle' => 'Logic Programming, Proceedings of the 1991 International Symposium', 'crossref' => 'SLP91', 'editor' => 'Saraswat, Vijay and Ueda, Kazunori', 'key' => 'AKL', 'pages' => '167--186', 'publisher' => 'The MIT Press', 'title' => 'Programming Paradigms of the Andorra Kernel Language', 'type' => 'InProceedings', 'year' => '1991', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Sverker Janson and Johan Montelius and Seif Haridi', 'booktitle' => 'Research Directions in Concurrent Object-Oriented Programming', 'editors' => 'Gul Agha and Peter Wegner and Akinori Yonezawa', 'key' => 'AKL:Ports:93', 'publisher' => 'The MIT Press', 'title' => 'Ports for Objects', 'type' => 'incollection', 'year' => '1993', ) array ( 'address' => 'Melbourne, Australia', 'author' => 'Michael Maher', 'booktitle' => 'Proceedings of the International Conference on Logic Programming', 'editor' => 'Jean-Louis Lassez', 'key' => 'ALPS', 'pages' => '858--876', 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Logic Semantics for a Class of Committed-Choice Programs', 'type' => 'inproceedings', 'year' => '1987', ) array ( 'address' => 'Englewood Cliffs, NJ', 'author' => 'Ahuja, Ravindra K. and Magnanti, Thomas L. and Orlin, James B.', 'key' => 'AMO:Network_Flows', 'location' => 'MPI-AG1', 'publisher' => 'Prentice Hall', 'title' => 'Network flows : theory, algorithms and applications', 'type' => 'BOOK', 'year' => '1993', ) array ( 'author' => 'E. H. L. Aarts and P. J. M. Van Laarhoven and J. K. Lenstra and N. L. J. Ulder', 'journal' => 'ORSA Journal on Computing', 'key' => 'Aarts:94', 'number' => '2', 'pages' => '118-125', 'title' => 'A Computational Study of Local Search Algorithms for Job Shop Scheduling', 'type' => 'Article', 'volume' => '6', 'year' => '1994', ) array ( 'address' => 'Berlin', 'author' => 'Mart\\\'\\in Abadi and Luca Cardelli', 'key' => 'AbadiCardelli:96', 'publisher' => 'Springer-Verlag', 'series' => 'Monographs in Computer Science', 'title' => 'A Theory of Objects', 'type' => 'book', 'year' => '1996', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Harold Abelson and Gerald Sussman', 'edition' => 'Second', 'key' => 'AbelsonSussman:96', 'publisher' => 'The MIT Press', 'title' => 'Structure and Interpretation of Computer Programs', 'type' => 'book', 'year' => '1996', ) array ( 'address' => 'Tregastel, France', 'author' => 'Abderrahamane Aggoun and Nicolas Beldiceanu', 'booktitle' => 'Actes du Séminaire 1990--Programmation en Logique', 'key' => 'AggounBeldiceanu:90', 'month' => 'may', 'pages' => '487--509', 'publisher' => 'CNET', 'title' => 'Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems', 'type' => 'InProceedings', 'year' => '1990', ) array ( 'address' => 'Paris, France', 'author' => 'Abderrahamane Aggoun and Nicolas Beldiceanu', 'booktitle' => 'Logic Programming: Proceedings of the Eight International Conference', 'editor' => 'Koichi Furukawa', 'key' => 'AggounBeldiceanu:91', 'month' => 'jun', 'pages' => '775--788', 'publisher' => 'The MIT Press', 'title' => 'Overview of the CHIP Compiler System', 'type' => 'InProceedings', 'year' => '1991', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Gul Agha', 'key' => 'Agha:86', 'publisher' => 'The MIT Press', 'title' => 'Actors: A Model of Concurrent Computation in Distributed Systems', 'type' => 'Book', 'year' => '1986', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Gul Agha and Peter Wegner and Akinori Yonezawa', 'key' => 'Agha_93', 'publisher' => 'The MIT Press', 'title' => 'Research Directions in Concurrent Object-Oriented Programming', 'type' => 'book', 'year' => '1993', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Hassan A\\"\\it-Kaci', 'key' => 'Ait-Kaci', 'publisher' => 'The MIT Press', 'series' => 'Logic Programming', 'title' => 'Warren\'s Abstract Machine: A Tutorial Reconstruction', 'type' => 'Book', 'year' => '1991', ) array ( 'author' => 'Hassan A\\"\\it-Kaci and Roger Nasr', 'journal' => 'Lisp and Symbolic Computation', 'key' => 'Ait-Kaci:89b', 'keywords' => '', 'pages' => '51--89', 'title' => 'Integrating logic and functional programming', 'type' => 'article', 'volume' => '2', 'year' => '1989', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Pierre America', 'booktitle' => 'Object-Oriented Concurrent Programming', 'editor' => 'Akinori Yonezawa and Mario Tokoro', 'key' => 'America:87', 'pages' => '199--220', 'publisher' => 'The MIT Press', 'title' => 'POOL-T: A Parallel Object-Oriented Language', 'type' => 'InCollection', 'year' => '1987', ) array ( 'author' => 'Ian Anderson', 'key' => 'Anderson97', 'publisher' => 'Oxford University Press', 'title' => 'Combinatorial Designs and Tournaments', 'type' => 'book', 'year' => '1997', ) array ( 'address' => 'Sophia-Antipolis, France', 'author' => 'A. A. Andreatta and S. E. R. Carvalho and C. C. Riberio', 'booktitle' => 'Proceedings of the 2nd Metaheuristics International Conference', 'key' => 'Andreatta97', 'title' => 'A Framework for the Development of Local Search Heuristics for Combinatorial Optimization Problems', 'type' => 'inproceedings', 'year' => '1997', ) array ( 'author' => 'Marco Dorigo and Luca Maria Gambardella', 'institution' => 'Université Libre de Bruxelles', 'key' => 'AntCoop', 'note' => 'accepted for publication in the IEEE Transactions on Evolutionary Computation, Vol. 1, No. 1, 1997', 'number' => 'TR/IRIDIA/1996-5', 'title' => 'Ant colonies for the traveling salesman problem', 'type' => 'techreport', 'year' => '1996', ) array ( 'author' => 'Marco Dorigo and Luca Maria Gambardella', 'institution' => 'Université Libre de Bruxelles', 'key' => 'AntTSP', 'note' => 'accepted for publication in BioSystems, 1997', 'number' => 'TR/IRIDIA/1996-3', 'title' => 'Ant colonies for the traveling salesman problem', 'type' => 'techreport', 'year' => '1996', ) array ( 'author' => 'Krzysztof R. Apt', 'howpublished' => 'Draft', 'key' => 'Apt97', 'month' => 'nov', 'optnote' => 'finite domain constraint propagation is seen as the result of chaotic iteration. Quite interesting.', 'title' => 'The Essence of Constraint Propagation', 'type' => 'Misc', 'year' => '1997', ) array ( 'address' => 'Reading, MA', 'author' => 'Ken Arnold and James Gosling', 'key' => 'ArnoldGosling96', 'publisher' => 'Addison-Wesley', 'series' => 'The Java Series', 'title' => 'The Java Programming Language', 'type' => 'BOOK', 'year' => '1996', ) array ( 'address' => 'Reading, MA', 'author' => 'Ken Arnold and James Gosling', 'edition' => 'Second', 'key' => 'ArnoldGosling98', 'publisher' => 'Addison-Wesley', 'title' => 'The Java Programming Language', 'type' => 'book', 'year' => '1998', ) array ( 'address' => 'New York', 'editor' => 'Robert Ashenhurst and Susan Graham', 'key' => 'AshenhurstGraham87', 'publisher' => 'The ACM Press', 'series' => 'Anthology series', 'title' => 'ACM Turing Award Lectures : The First 20 Years (1966-1985)', 'type' => 'BOOK', 'year' => '1987', ) array ( 'address' => 'Reading, MA', 'author' => 'M. Austern', 'key' => 'Austern98', 'publisher' => 'Addison-Wesley', 'title' => 'Generic Programming and the STL', 'type' => 'book', 'year' => '1998', ) array ( 'author' => 'Rolf Backofen and Gert Smolka', 'journal' => 'Journal of Theoretical Computer Science', 'key' => 'BS:Compl-tcs', 'month' => 'jul', 'number' => '1--2', 'pages' => '243--268', 'title' => 'A Complete and Recursive Feature Theory', 'type' => 'Article', 'volume' => '146', 'year' => '1995', ) array ( 'address' => 'Columbus, Ohio', 'author' => 'Rolf Backofen and Gert Smolka', 'booktitle' => '31$^ th$ Annual Meeting of the Association for Computational Linguistics', 'key' => 'BS:Compl:ACL93', 'month' => '22--26 jun', 'note' => 'Extended version appeared in \\em Theoretical Computer Science\\/, \\citeBS:Compl-tcs', 'pages' => '193--200', 'publisher' => 'Association for Computational Linguistics', 'title' => 'A Complete and Recursive Feature Theory', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'address' => 'Reading, MA', 'author' => 'Marshall Kirk McKusick and Keith Bostic and Michael J. Karels and John S. Quarterman', 'key' => 'BSD', 'publisher' => 'Addison-Wesley', 'title' => 'The Design and Implementation of the 4.4BSD Operating System', 'type' => 'book', 'year' => '1996', ) array ( 'address' => 'München, Germany', 'author' => 'Rolf Backofen and Ralf Treinen', 'booktitle' => '1st International Conference on Constraints in Computational Logics', 'editor' => 'Jean-Pierre Jouannaud', 'key' => 'BT:CFTgames94ccl', 'month' => '7--9 sep', 'pages' => '320--335', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 845', 'title' => 'How to Win a Game with Features', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Rolf Backofen and Ralf Treinen', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'BT:FeatureGames94rep', 'month' => 'jun', 'note' => 'Also in \\em 1st International Conference on Constraints in Computational Logics, München, Germany, 7--9 September 1994, \\citeBT:CFTgames94ccl.', 'number' => 'RR-94-18', 'title' => 'How to Win a Game with Features', 'type' => 'Research Report', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Rolf Backofen and Gert Smolka', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'BackofenSmolka91', 'month' => 'jul', 'note' => 'Short version appeared in the 1992 \\em Annual Meeting of the Association for Computational Linguistics, \\citeBS:Compl:ACL93. Extended version appeared in \\em Theoretical Computer Science\\/, \\citeBS:Compl-tcs', 'number' => 'RR-92-30', 'title' => 'A Complete and Recursive Feature Theory', 'type' => 'Research Report', 'year' => '1992', ) array ( 'address' => 'New York', 'author' => 'John Backus', 'booktitle' => 'ACM Turing Award Lectures : The First 20 Years (1966-1985)', 'crossref' => 'AshenhurstGraham87', 'editor' => 'Robert Ashenhurst and Susan Graham', 'key' => 'Backus:77', 'note' => '1977 Turing Award Lecture', 'publisher' => 'The ACM Press', 'series' => 'Anthology series', 'title' => 'Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs', 'type' => 'incollection', 'year' => '1987', ) array ( 'author' => 'Henry Baker', 'journal' => 'ACM SIGPLAN OOPS Messenger: Object-Oriented Programming Systems', 'key' => 'Baker93', 'number' => '4', 'pages' => '2--27', 'title' => 'Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same', 'type' => 'article', 'volume' => '4', 'year' => '1993', ) array ( 'address' => 'New York', 'author' => 'Baker, K. R.', 'key' => 'Baker:74', 'publisher' => 'John Wiley & Sons', 'title' => 'Introduction to Sequencing and Scheduling', 'type' => 'Book', 'year' => '1974', ) array ( 'author' => 'E. Baker', 'journal' => 'Operations Research', 'key' => 'Baker:83', 'pages' => '938-945', 'title' => 'An Exact Algorithm for the Time Constrained Traveling Salesman Problem', 'type' => 'article', 'volume' => '31', 'year' => '1983', ) array ( 'author' => 'Henry Baker', 'journal' => 'ACM SIGPLAN OOPS Messenger: Object-Oriented Programming Systems', 'key' => 'Baker:93', 'month' => 'jul', 'number' => '3', 'pages' => '289--296', 'title' => 'Iterators: Signs of Weakness in Object-Oriented Languages', 'type' => 'ARTICLE', 'volume' => '4', 'year' => '1993', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Henry Baker and Carl Hewitt', 'institution' => 'Massachusetts Institute of Technology', 'key' => 'BakerHewitt:77', 'month' => 'dec', 'number' => '454', 'title' => 'The Incremental Garbage Collection of Processes', 'type' => 'A.I. Memo No.', 'year' => '1977', ) array ( 'author' => 'Henri Bal and Frans Kaashoek and Andrew Tanenbaum', 'journal' => 'IEEE Transactions on Software Engineering', 'key' => 'Bal+:92', 'month' => 'mar', 'number' => '3', 'pages' => '190--205', 'title' => 'Orca: A Language for Parallel Programming of Distributed Systems', 'type' => 'Article', 'volume' => '18', 'year' => '1992', ) array ( 'address' => 'Tromso, Norway', 'author' => 'Henri Bal', 'booktitle' => 'EurOpen Spring Conference on Open Distributed Systems in Perspective', 'key' => 'Bal:91', 'pages' => '209--228', 'title' => 'A Comparative Study of Five Parallel Programming Languages', 'type' => 'InProceedings', 'year' => '1991', ) array ( 'author' => 'B. C. Ball and D. B. Webster', 'journal' => 'AIIE Transactions', 'key' => 'Ball77', 'pages' => '161--169', 'title' => 'Optimal Scheduling for even-numbered team athletic conferences', 'type' => 'Article', 'volume' => '9', 'year' => '1977', ) array ( 'address' => 'Monterey', 'author' => 'David M. Beazley', 'booktitle' => '4th Annual Tcl/Tk Workshop', 'key' => 'Beazley:96', 'month' => 'jul', 'title' => 'SWIG: An Easy to Use Tool for Intergrating Scripting Languages with C and C++', 'type' => 'inproceedings', 'year' => '1996', ) array ( 'address' => 'Schloss Hagenberg, Linz, Austria', 'author' => 'J. Christopher Beck and Andrew J. Davenport and Mark S. Fox', 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Beck:97', 'month' => 'oct/nov', 'pages' => '390--404', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Five Pitfalls of Empirical Scheduling Research', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'Frederic Benhamou and William Older', 'journal' => 'Journal of Logic Programming', 'key' => 'Benhamou97', 'number' => '1', 'title' => 'Applying Interval Arithmetic to Real, Integer, and Boolean Constraints', 'type' => 'Article', 'volume' => '32', 'year' => '1997', ) array ( 'address' => 'Cambridge, MA', 'editor' => 'Frédéric Benhamou and Alain Comerauer', 'key' => 'Benhamou:93', 'note' => 'Selected Research', 'publisher' => 'The MIT Press', 'title' => 'Constraint Logic Programming', 'type' => 'book', 'year' => '1993', ) array ( 'author' => 'D.C. Blest and D.G. Fitzgerald', 'journal' => 'Discrete Applied Mathematics', 'key' => 'Blest88', 'optnote' => 'Scheduling tournaments with limited number of facilities 1 or 2 games per ``round\'\' per team.', 'pages' => '9--19', 'title' => 'Scheduling Sports Competitions with a Given Distribution of Times', 'type' => 'Article', 'volume' => '22', 'year' => '1988', ) array ( 'address' => 'Portland, Oregon', 'author' => 'Daniel Bobrow and Kenneth Kahn and Gregor Kiczales and Larry Masinter and Mark Stefik and Frank Zdybel', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Norman Meyrowitz', 'key' => 'Bobrow:86', 'pages' => '17--29', 'publisher' => 'ACM SIGPLAN Notices 21(11)', 'title' => 'CommonLoops, Merging Lisp and Object-Oriented Programming', 'type' => 'InProceedings', 'year' => '1986', ) array ( 'abstract' => 'We introduce branch-and-infer, a unifying framework for integer linear programming and finite domain constraint programming. We use this framework to compare the two approaches with respect to their modeling and solving capabilities, to introduce symbolic constraint abstractions into integer programming, and to discuss possible combinations of the two approaches.', 'author' => 'A. Bockmayr and T. Kasper', 'journal' => 'INFORMS J. Computing', 'key' => 'BockmayrKasper98', 'number' => '3', 'pages' => '287 -- 300', 'title' => 'Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming', 'type' => 'ARTICLE', 'volume' => '10', 'year' => '1998', ) array ( 'address' => 'Berlin, Heidelberg', 'author' => 'F. S. de Boer and C. Palamidessi', 'booktitle' => 'CONCUR\'90: Theories of Concurrency - Unification and Extension (Proc.)', 'editor' => 'J. C. M. Baeten and J. W. Klop', 'key' => 'Boer:90', 'keywords' => '', 'pages' => '99-114', 'publisher' => 'Springer', 'title' => 'On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences', 'type' => 'incollection', 'year' => '1990', ) array ( 'address' => 'Palo Alto Research Centre', 'author' => 'Alan Borning', 'institution' => 'XEROX', 'key' => 'Borning79', 'title' => 'ThingLab -- A Constraint-Oriented Simulation Laboratory', 'type' => 'Technical Report', 'year' => '1979', ) array ( 'author' => 'J. Boye and J. Paakki and J. Maluszynski', 'institution' => 'Linköping University', 'key' => 'Boye_92', 'note' => 'Short version will appear in PLILP\'93', 'number' => 'LiTH-IDA-R-93-20', 'optnote' => '1608', 'title' => 'Dependency-based Groundness Analysis of Functional Logic Programs', 'type' => 'techreport', 'year' => '1993', ) array ( 'author' => 'Alvis Brazma and David Gilbert', 'institution' => 'City University, London', 'key' => 'BrazmaGilbert', 'month' => 'may', 'number' => 'TCU/CS/1995/11', 'optnote' => 'very limited pattern language, no use in practice, no wonder they found an efficient decision algorithm', 'title' => 'A Pattern Language for Molecular Biology', 'type' => 'techreport', 'year' => '1995', ) array ( 'address' => 'Sankt Augustin, Germany', 'author' => 'Bretthauer, Harry and Kopp, Juergen', 'institution' => 'Gesellschaft für Mathematik und Datenverarbeitung', 'key' => 'BretthauerKopp91', 'number' => '554', 'title' => 'The Meta Class System MCS. A Portable Object System for Common Lisp---Version 1.3', 'type' => 'TECHREPORT', 'year' => '1991', ) array ( 'author' => 'Brinch Hansen, Per', 'journal' => 'IEEE Transactions of Software Engineering', 'key' => 'BrinchHansen:75', 'number' => '2', 'pages' => '199--207', 'title' => 'The Progamming Language Concurrent Pascal', 'type' => 'Article', 'volume' => '1', 'year' => '1975', ) array ( 'author' => 'J. Brock and W. Ackerman', 'booktitle' => 'Formalization of Programming Concepts (Proceedings)', 'editor' => 'J. Diaz and I. Ramos', 'key' => 'Brock_81', 'pages' => '252-259', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  107', 'title' => 'Scenarios: A Model of Non-determinate Computation', 'type' => 'inproceedings', 'year' => '1981', ) array ( 'address' => 'Institut Dalle Molle d\'Intelligence Artificielle Perceptive, Martigny, Switzerland', 'author' => 'Konstantin Popov', 'booktitle' => 'WOz\'95, International Workshop on Oz Programming', 'key' => 'Browser:WOz:95', 'month' => '29 November--1 December', 'title' => 'An Exercise in Concurrent Object-Oriented Programming: Oz Browser', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'author' => 'Manfred Broy', 'journal' => 'Theoretical Computer Science', 'key' => 'Broy:86', 'pages' => '1--61', 'title' => 'A Theory for Nondeterminism, Parallelism, Communication and Concurrency', 'type' => 'article', 'volume' => '45', 'year' => '1986', ) array ( 'author' => 'Klaus-Peter Löhr', 'crossref' => 'cool_cacm_issue', 'journal' => 'Communications of the ACM', 'key' => 'CACM-36-09*81', 'month' => 'sep', 'number' => '9', 'pages' => '81--89', 'title' => 'Concurrency Annotations for Reusable Software', 'type' => 'ARTICLE', 'volume' => '36', 'year' => '1993', ) array ( 'address' => 'San Francisco, CA', 'author' => 'Gérard Berry and Gérard Boudol', 'booktitle' => 'Proceedings of the 17th ACM Conference on Principles of Programming Languages', 'crossref' => 'popl90', 'key' => 'CAM', 'loc' => 'RT', 'month' => 'jan', 'pages' => '81--94', 'title' => 'The Chemical Abstract Machine', 'type' => 'InProceedings', 'year' => '1990', ) array ( 'author' => 'Yves Caseau and François Laburthe', 'journal' => 'Journal of Heuristics', 'key' => 'CASEAU:99', 'pages' => '281--303', 'publisher' => 'Kluwer Academic Publishers', 'title' => 'Heuristics for Large Constrained Vehicle Routing Problems', 'type' => 'ARTICLE', 'year' => '1999', ) array ( 'address' => 'S. Margherita Ligure, Italy', 'author' => 'B. Carlson and M. Carlsson and D. Diaz', 'booktitle' => 'ICLP\'94, International Conference on Logic Programming', 'editor' => 'P. Van Hentenryck', 'key' => 'CCD94', 'publisher' => 'MIT Press', 'series' => 'MIT Press Series in Logic Programming', 'title' => 'Entailment of Finite Domain Constraints', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Tokyo, Japan', 'author' => 'M. Dincbas and P. Van Hentenryck and H. Simonis and A. Aggoun and T. Graf', 'booktitle' => 'Proceedings International Conference on Fifth Generation Computer Systems', 'key' => 'CHIP88', 'month' => 'dec', 'pages' => '693--702', 'publisher' => 'Springer-Verlag', 'title' => 'The Constraint Logic Programming Language CHIP', 'type' => 'INPROCEEDINGS', 'year' => '1988', ) array ( 'author' => 'Nicolas Beldiceanu and Helmut Simonis and Philip Kay and Peter Chan', 'institution' => 'COSYTEC SA', 'key' => 'CHIP:whitepaper', 'note' => 'Ref: COSY/WHITE/002, Ver: 1.2, Rev: A', 'title' => 'The CHIP System', 'type' => 'White Paper', 'year' => '1997', ) array ( 'address' => 'Kanagawa, Japan', 'author' => 'Andreas Podelski and Gert Smolka', 'booktitle' => 'Proceedings of the 1995 International Conference on Logic Programming', 'editor' => 'Leon Sterling', 'key' => 'CLP:ICLP:95', 'month' => '13--18 jun', 'pages' => '449--463', 'publisher' => 'The MIT Press', 'title' => 'Operational Semantics of Constraint Logic Programming with Coroutining', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Toulouse, France', 'author' => 'Martin Henz and Stefan Lauer and Detlev Zimmermann', 'booktitle' => 'Proceedings of the 8$^th$ IEEE International Conference on Tools with Artificial Intelligence', 'directory' => 'ProgrammingSysLab', 'editor' => 'Mark Radle', 'filename' => 'COMPOzE96.ps.Z', 'key' => 'COMPOzE96', 'month' => 'nov', 'pages' => '118--121', 'publisher' => 'IEEE Computer Society Press', 'title' => 'COMPOzE --- Intention-based Music Composition through Constraint Programming', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'Joxan Jaffar and Roland H. C. Yap', 'journal' => 'Constraints', 'key' => 'CP2000', 'number' => '1', 'pages' => '71--73', 'title' => 'Constraint Programming 2000: A Position Paper', 'type' => 'Article', 'volume' => '2', 'year' => '1997', ) array ( 'author' => 'Pascal Van Hentenryck and Vijay Saraswat, editors', 'howpublished' => 'ACM Workshop on Strategic Directions in Computing Research, MIT Laboratory for Computer Science, Cambridge, Massachusetts, June 14-15, 1996, available at \\tt http://www.medg.lcs.mit.edu/sdcr/', 'key' => 'CP96', 'month' => 'oct', 'optnote' => 'very well written by the experts of the field, broad scope, many references, early history etc, in the same folder are the position papers of various CP big shots.', 'title' => 'Constraint Programming', 'type' => 'Misc', 'year' => '1996', ) array ( 'address' => 'Cassis, France', 'author' => 'Andreas Podelski and Gert Smolka', 'booktitle' => 'Proceedings of the First International Conference on Principles and Practice of Constraint Programming', 'key' => 'CP:95', 'month' => '19--22 sep', 'pages' => '328--344', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  976', 'title' => 'Situated Simplification', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'author' => 'Gilles Pesant and Michel Gendreau', 'howpublished' => 'draft', 'key' => 'CPLS', 'title' => 'A Constraint Programming Framework for Local Search Methods', 'type' => 'Misc', ) array ( 'address' => 'Amsterdam, New York, Oxford', 'author' => 'Cain, Jr., William O.', 'booktitle' => 'Optimal Strategies in Sports', 'editor' => 'Shaul P. Ladany and Robert E. Machol', 'key' => 'Cain77', 'number' => '5', 'optnote' => 'nice report from a practicioner. He actually uses constraint programming without knowing it. HA pattern, team-to-pattern assignment, game assignment.', 'pages' => '32--41', 'publisher' => 'North-Holland Publishing Co.', 'series' => 'Studies in Management Science and Systems', 'title' => 'The Computer-assisted Heuristic Approach Used to Schedule the Major League Baseball Clubs', 'type' => 'InCollection', 'year' => '1977', ) array ( 'address' => 'Amsterdam, New York, Oxford', 'author' => 'Robert T. Campbell and Der-San Chen', 'booktitle' => 'Management Science in Sports', 'editor' => 'Robert E. Machol, Shaul P. Ladany; under the general supervision of Donald G.Morrison', 'key' => 'Campbell76', 'note' => 'Special issue of the journal Management Science', 'number' => '4', 'optnote' => 'Double round robin scheduling. First compute minimum distance travel itinerary. Then assemble complete schedules from this. There seems to be a pairing scheme of teams that enables this approach.', 'pages' => '15--25', 'publisher' => 'North-Holland Publishing Co.', 'series' => 'Studies in Management Sciences', 'title' => 'A Minimum Distance Basketball Scheduling Problem', 'type' => 'InCollection', 'year' => '1976', ) array ( 'author' => 'Luca Cardelli', 'journal' => 'Computing Systems', 'key' => 'Cardelli:POPL:95', 'month' => 'jan', 'number' => '1', 'pages' => '27--59', 'title' => 'A Language with Distributed Scope', 'type' => 'article', 'volume' => '8', 'year' => '1995', ) array ( 'author' => 'Luca Cardelli and Peter Wegner', 'journal' => 'ACM Computing Surveys', 'key' => 'CardelliWegner:85', 'month' => 'dec', 'number' => '4', 'pages' => '471--522', 'title' => 'On Understanding Types, Data Abstraction, and Polymorphism', 'type' => 'article', 'volume' => '17', 'year' => '1985', ) array ( 'address' => 'Cambridge, MA,', 'author' => 'B. Carlson and M. Carlsson and S. Janson', 'booktitle' => 'Logic Programming', 'editor' => 'J. Lloyd', 'key' => 'Carlson:95', 'keywords' => '', 'pages' => '227-241', 'publisher' => 'MIT Press', 'title' => 'The Implementation of AKL(FD)', 'type' => 'incollection', 'year' => '1995', ) array ( 'address' => 'Southampton, England', 'author' => 'Mats Carlsson and Greger Ottosson and Björn Carlson', 'booktitle' => 'PLILP\'97, International Symposium on Programming Languages: Implementations, Logics, and Programming', 'editor' => 'H. Glaser and P. Hartel and H. Kucken', 'key' => 'Carlsson97', 'month' => 'sep', 'optnote' => 'FD in Prolog, indexicals, reified constraints', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science 1292Berlin', 'title' => 'An Open-Ended Finite Domain Constraint Solver', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'Denis Caromel', 'crossref' => 'cool_cacm_issue', 'journal' => 'Communications of the ACM', 'key' => 'Caromel:93', 'month' => 'sep', 'number' => '9', 'pages' => '90--102', 'title' => 'Toward a Method of Object-Oriented Concurrent Programming', 'type' => 'Article', 'volume' => '36', 'year' => '1993', ) array ( 'address' => 'École Normale Supérieure Paris, France', 'author' => 'Y. Caseau and F. Laburthe', 'institution' => 'LIENS Technical Report 95-25', 'key' => 'Caseau:95', 'keywords' => 'Jobshop Scheduling, Task Intervals, Branch and Bound, Local Search, Constraint Propagation, Heuristics', 'month' => 'July', 'title' => 'Disjunctive Scheduling with Task Intervals', 'type' => 'TECHREPORT', 'url' => 'http://www.ens.fr/~laburthe/papers.htmlliens_jsp', 'year' => '1995', ) array ( 'address' => 'Schloss Hagenberg, Linz, Austria', 'author' => 'Yves Caseau and François Laburthe', 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Caseau:97', 'month' => 'oct/nov', 'pages' => '17--31', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Solving Various Weighted Matching Problems with Constraints', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Leuven, Belgium', 'author' => 'Yves Caseau and François Laburthe', 'booktitle' => 'Proceedings of the International Conference on Logic Programming', 'editor' => 'Lee Naish', 'key' => 'Caseau:ICLP97', 'month' => 'jul', 'pages' => '316--330', 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Solving Small TSP with Constraint', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Amedeo Cesta and Angelo Oddi and Stephen F. Smith', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Thomas Dean', 'key' => 'Cesta99', 'month' => 'aug', 'pages' => '1022--1029', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'An Iterative Sampling Procedure for Resource Constrained Project Scheduling with Time Windows', 'type' => 'InProceedings', 'volume' => '2', 'year' => '1999', ) array ( 'author' => 'Jacqueline Chabrier and Jean-Michel Richer and Jean-Jacques Chabrier', 'booktitle' => 'Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)', 'key' => 'Chabrier:96', 'optnote' => 'symmetry breaking in combination with local search (complete variant?), weak experimental results', 'title' => 'Resolution of structured SAT problems with SCORE(FD/B)', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'C. J. Cheney', 'journal' => 'Communications of the ACM', 'key' => 'Cheney1970', 'number' => '11', 'pages' => '677--678', 'title' => 'A non-recursive list compacting algorithm', 'type' => 'article', 'volume' => '13', 'year' => '1970', ) array ( 'address' => 'Madrid, Spain', 'author' => 'T. Chikayama and T. Fujise and D. Sekita', 'booktitle' => 'Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP\'94', 'editor' => 'Manuel V. Hermenegildo and Jaan Penjam', 'key' => 'Chikayama:94', 'month' => 'sep', 'pages' => '261--276', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science 844', 'title' => 'A Portable and Efficient Implementation of KL1', 'type' => 'incollection', 'year' => '1994', ) array ( 'author' => 'N. Christofides and A. Mingozzi and P. Toth', 'journal' => 'Network', 'key' => 'Christofides:81', 'number' => '11', 'pages' => '145--164', 'title' => 'State Space Relaxation Procedures for the Computation of Bounds to Routing Problems', 'type' => 'Article', 'year' => '1981', ) array ( 'address' => 'Schloss Hagenberg, Linz, Austria', 'author' => 'Chu Min Li and Anbulagan', 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Chu:97', 'month' => 'oct/nov', 'pages' => '341--355', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Look-Ahead Versus Look-Back for Satisfiability Problems', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'San Mateo, CA', 'author' => 'Chu Min Li and Anbulagan', 'booktitle' => 'Proceedings of 15th International Joint Conference on Aritificail Intelligence, IJCAI\'97', 'key' => 'ChuUP', 'pages' => '366--371', 'publisher' => 'Morgan Kaufmann Publishers', 'title' => 'Heuristics based on unit propagation for satisfiability problems', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'H. Alt and N. Blum and K. Mehlhorn and M. Paul', 'key' => 'Clark77', 'title' => 'Computing a maximum cardinality matching in a bipartite graph in $O(n^1.5 \\sqrtm / \\logn)$', 'type' => 'article', ) array ( 'annote' => 'Contributors: Abelson, H. and Adams IV, N.I. and Bartley, D.H. and Brooks, G. and Dybvig, R.K. and Friedman, D.P. and Halstead, R. and Hanson, C. and Haynes, C.T. and Kohlbecker, E. and Oxley, D. and Pitman, K.M. and Rozas, G.J. and Steele Jr., G.L. and Sussman, G.J. and Wand, M.', 'editor' => 'William Clinger and Jonathan Rees', 'journal' => 'LISP Pointers', 'key' => 'Clinger', 'month' => 'July-September', 'number' => '3', 'pages' => '1-55', 'title' => 'The Revised Report on the Algorithmic Language Scheme', 'type' => 'Article', 'volume' => 'IV', 'year' => '1991', ) array ( 'address' => 'Madrid, Spain', 'author' => 'Philippe Codognet and Daniel Diaz', 'booktitle' => 'Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP\'94', 'editor' => 'Manuel V. Hermenegildo and Jaan Penjam', 'key' => 'Codognet94', 'month' => 'sep', 'pages' => '244-260', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science 844', 'title' => 'clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'J. Cohen', 'journal' => 'Communications of the ACM', 'key' => 'Cohen90', 'keywords' => 'CONSTRAINTS', 'month' => 'jul', 'pages' => '52-68', 'title' => 'Constraint Logic Programming Languages', 'type' => 'article', 'year' => '1990', ) array ( 'address' => 'Englewood Cliffs, NJ', 'author' => 'Derek Coleman', 'key' => 'Coleman_94', 'publisher' => 'Prentice Hall', 'title' => 'Object-Oriented Development: The Fusion Method', 'type' => 'book', 'year' => '1993', ) array ( 'address' => 'Marseille, France', 'author' => 'Alain Colmerauer and Henri Kanoui and R. Psero and Philippe Roussel', 'institution' => 'Université Aix-Marseille II', 'key' => 'Colmerauer73', 'title' => 'Un Système de Communication Homme-Machine en Français', 'type' => 'TECHREPORT', 'year' => '1973', ) array ( 'address' => 'Edinburgh, Scotland', 'author' => 'Hubert Comon and Ralf Treinen', 'booktitle' => 'Colloquium on Trees in Algebra and Programming', 'editor' => 'Sophie Tison', 'key' => 'ComonTreinen:caap94', 'month' => '11-13 apr', 'pages' => '1--14', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 787', 'title' => 'Ordering Constraints on Trees', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Hubert Comon and Ralf Treinen', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ComonTreinen:caap94rep', 'month' => 'mar', 'note' => 'Also in \\em Colloquium on Trees in Algebra and Programming, Edinburgh, Scotland, 11--14 April, 1994, \\citeComonTreinen:caap94', 'number' => 'RR-94-12', 'title' => 'Ordering Constraints on Trees', 'type' => 'Research Report', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Hubert Comon and Ralf Treinen', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ComonTreinen:lpo93dfki', 'month' => 'sep', 'note' => 'Also as LRI Rapport de Recherche 867, \\citeComonTreinen:lpo93lri. To appear in \\em TCS\\/, \\citeComonTreinen:lpo93tcs.', 'number' => 'RR-93-42', 'title' => 'The First-Order Theory of Lexicographic Path Orderings is Undecidable', 'type' => 'Research Report', 'year' => '1993', ) array ( 'address' => 'Université de Paris Sud, 91405 Orsay, France', 'author' => 'Hubert Comon and Ralf Treinen', 'institution' => 'Laboratoire de Recherche en Informatique', 'key' => 'ComonTreinen:lpo93lri', 'month' => 'nov', 'note' => 'Also as DFKI Research Report RR-93-42, \\citeComonTreinen:lpo93dfki. To appear in \\em TCS, \\citeComonTreinen:lpo93tcs', 'number' => '867', 'title' => 'The First-Order Theory of Lexicographic Path Orderings is Undecidable', 'type' => 'Rapport de Recherche', 'year' => '1993', ) array ( 'author' => 'Hubert Comon and Ralf Treinen', 'journal' => 'Journal of Theoretical Computer Science', 'key' => 'ComonTreinen:lpo93tcs', 'note' => 'to appear', 'title' => 'The First-Order Theory of Lexicographic Path Orderings is Undecidable', 'type' => 'Article', ) array ( 'howpublished' => 'Special Issue of \\it Communications of the ACM, 36(9)', 'key' => 'Concurrent Object-Oriented Programming', 'month' => 'sep', 'title' => 'Concurrent Object-Oriented Programming', 'type' => 'Misc', 'year' => '1993', ) array ( 'address' => 'Reading, MA', 'author' => 'Thomas Conroy and Eduardo Pelegri-Llopart', 'booktitle' => 'Smalltalk-80: Bits of History and Words of Advice', 'crossref' => 'Krassner:83', 'editor' => 'Glenn Krassner', 'key' => 'Conroy:83', 'pages' => '239--248', 'publisher' => 'Addison-Wesley', 'title' => 'An Assessment of Method-Lookup Caches for Smalltalk-80 at Hewlett-Packard', 'type' => 'InCollection', 'year' => '1983', ) array ( 'address' => 'Berlin, Heidelberg, New York', 'author' => 'Jörg Würtz', 'booktitle' => 'Operations Research Proceedings 1996', 'editor' => 'U. Zimmermann and U. Derigs and W. Gaul and R. Möhrig and K.-P. Schuster', 'key' => 'ConstraintScheduling97', 'note' => 'Selected Papers of the Symposium on Operations Research (SOR 96), Braunschweig, Germany, September 3--6, 1996', 'pages' => '218--223', 'publisher' => 'Springer-Verlag', 'title' => 'Constraint-Based Scheduling in Oz', 'type' => 'InCollection', 'year' => '1997', ) array ( 'address' => 'Venice, Italy', 'author' => 'Joachim Niehren and Martin Müller', 'booktitle' => 'International Workshop on Concurrent Constraints Programming', 'key' => 'ConstraintsFree:95', 'month' => 'may 29--31', 'title' => 'Constraints for Free in Concurrent Computation', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Noordwijkerhout, Netherlands', 'author' => 'William Cook', 'booktitle' => 'Foundations of Object-Oriented Languages: REX School/Workshop', 'editor' => 'de Bakker, Jacobus and de Roever, Willem and Rozenberg, Grzegorz', 'key' => 'Cook_90', 'pages' => '151--178', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  489', 'title' => 'Object-Oriented Programming versus Abstract Data Types', 'type' => 'inproceedings', 'year' => '1991', ) array ( 'author' => 'Pierre-Jacques Courtois and F. Heymans and David Parnas', 'journal' => 'Communications of the ACM', 'key' => 'Courtois:71', 'month' => 'oct', 'number' => '10', 'pages' => '667--668', 'title' => 'Concurrent Control with Readers and Writers', 'type' => 'article', 'volume' => '14', 'year' => '1971', ) array ( 'address' => 'Los Angeles, California', 'author' => 'P. Cousot and R. Cousot', 'booktitle' => '$4^th$ Annual ACM SIGPLAN-SIGACT Symposium on Artificial Intelligence & Programming Languages', 'key' => 'CousotCousot_77', 'optnote' => '1608', 'pages' => '238-252', 'publisher' => 'ACM SIGPLAN', 'title' => 'Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints', 'type' => 'inproceedings', 'year' => '1977', ) array ( 'address' => 'Paris, France', 'author' => 'P. Cousot and R. Cousot', 'institution' => 'Département de Mathématiques et d\'Informatique, Ecole Normale Supérieure', 'key' => 'CousotCousot_92', 'number' => 'LIENS-92-12', 'optnote' => '1608', 'title' => 'Abstract Interpretation and Application to Logic Programs', 'type' => 'techreport', 'year' => '1992', ) array ( 'author' => 'James M. Crawford and Mukesh Dalal and Joachim P. Walser', 'booktitle' => 'Proceedings of the AIPS-98 Workshop on Planning as Combinatorial Search', 'key' => 'CrawfordDalalWalser98', 'note' => 'In conjunction with The Fourth International Conference on Artificial Intelligence Planning Systems, AIPS-98', 'title' => 'Abstract Local Search', 'type' => 'InProceedings', 'year' => '1998', ) array ( 'address' => 'Princeton', 'author' => 'Andrew W. Appel', 'institution' => 'Princeton University', 'key' => 'CritiqueStandardML', 'number' => 'CS-TR-364-92', 'optnote' => 'nice hints and references for the language designer', 'title' => 'A Critique of Standard ML', 'type' => 'techreport', 'year' => '1992', ) array ( 'address' => '', 'author' => 'Daniel Diaz and Philippe Codognet', 'booktitle' => '10th International Conference on Logic Programming', 'key' => 'DC93', 'title' => 'A Minimal Extension of the WAM for \\verbclp(FD)', 'type' => 'inproceedings', 'year' => '1993', ) array ( 'author' => 'M. Davis and G. Logemann and D. Loveland', 'journal' => 'Communications of the ACM', 'key' => 'DPL62', 'month' => 'jul', 'number' => '7', 'pages' => '394--397', 'title' => 'A Machine Program for Theorem Proving', 'type' => 'Article', 'volume' => '5', 'year' => '1962', ) array ( 'address' => 'Postfach 80 08 80, 7000 Stuttgart 80, Germany', 'author' => 'Markus Höhfeld and Gert Smolka', 'institution' => 'IWBS, IBM Deutschland', 'key' => 'DR88', 'month' => 'Oct', 'note' => 'Accepted for the Journal of Logic Programming', 'number' => '53', 'title' => 'Definite Relations over Constraint Languages', 'type' => 'LILOG Report', 'year' => '1988', ) array ( 'address' => 'Reading, MA', 'author' => 'C. J. Date', 'key' => 'Date95', 'publisher' => 'Addison-Wesley', 'title' => 'An Introduction To Database Systems', 'type' => 'Book', 'year' => '1995', ) array ( 'author' => 'M. Davis and H. Putnam', 'journal' => 'Journal of the ACM', 'key' => 'Davis60', 'month' => 'jul', 'number' => '3', 'title' => 'A Computing Procedure for Quantification Theory', 'type' => 'Article', 'volume' => '7', 'year' => '1960', ) array ( 'author' => 'M. Davis and G. Logemann and D. Loveland', 'journal' => 'Communications of the ACM', 'key' => 'Davis62', 'month' => 'jul', 'number' => '7', 'title' => 'A Machine Program for Theorem Proving', 'type' => 'Article', 'volume' => '5', 'year' => '1962', ) array ( 'author' => 'Martin Davis', 'booktitle' => 'Proceedings, Symposia of Applied Mathematics', 'key' => 'Davis63', 'pages' => '15--30', 'publisher' => 'American Mathematical Society', 'title' => 'Eliminating the Irrelevant from Mechanical Proofs', 'type' => 'InProceedings', 'year' => '1963', ) array ( 'author' => 'Ernest Davis', 'journal' => 'Artificial Intelligence', 'key' => 'Davis87', 'pages' => '281--331', 'title' => 'Constraint Propagation with Interval Labels', 'type' => 'article', 'volume' => '32', 'year' => '1987', ) array ( 'author' => 'M. Dell\'Amico and M. Trubian', 'journal' => 'Annals of Operations Research', 'key' => 'DellAmico:93', 'pages' => '231-252', 'title' => 'Applying Tabu Search to the Job Shop Scheduling Problem', 'type' => 'Article', 'volume' => '41', 'year' => '1993', ) array ( 'address' => 'Paris', 'author' => 'Jack Dennis', 'booktitle' => 'Proceedings Colloque sur la Programmation', 'editor' => 'Bernhard Robinet', 'key' => 'Dennis74', 'pages' => '362--376', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science 19', 'title' => 'First Version of a Data Flow Procedure Language', 'type' => 'INPROCEEDINGS', 'year' => '1974', ) array ( 'address' => 'Nottingham, UK', 'author' => 'Peter Deutsch', 'booktitle' => 'Proceeedings of the European Conference on Object-Oriented Programming', 'editor' => 'Cook, Stephen', 'key' => 'Deutsch89', 'pages' => '73--87', 'publisher' => 'Cambridge University Press, Cambridge, MA', 'title' => 'The Past, Present, and Future of Smalltalk', 'type' => 'inproceedings', 'year' => '1989', ) array ( 'address' => 'Austin, TX', 'author' => 'Peter Deutsch and Allan Schiffman', 'booktitle' => 'Proceedings of the ACM Symposium on Principles of Programming Languages', 'editor' => 'Alan Demers', 'key' => 'Deutsch:83', 'pages' => '297--302', 'publisher' => 'The ACM Press, New York', 'title' => 'Efficient Implementation of the Smalltalk-80 System', 'type' => 'InProceedings', 'year' => '1983', ) array ( 'address' => 'London', 'author' => 'Edsger Dijkstra', 'booktitle' => 'Programming Languages', 'editor' => 'F. Genuys', 'key' => 'Dijkstra68', 'publisher' => 'Academic Press', 'title' => 'Cooperating Sequential Processes', 'type' => 'incollection', 'year' => '1968', ) array ( 'author' => 'Edsger Dijkstra', 'journal' => 'Acta Informatica', 'key' => 'Dijkstra71', 'pages' => '115--138', 'title' => 'Hierarchical Ordering of Sequential Processes', 'type' => 'Article', 'volume' => '1', 'year' => '1971', ) array ( 'address' => 'Cambridge, MA', 'author' => 'M. Dincbas and H. Simonis and P. Van Hentenryck', 'booktitle' => 'Logic Programming: Proc.\\ of the Fifth International Conference and Symposium (Volume 1)', 'editor' => 'R. A. Kowalski and K. A. Bowen', 'key' => 'Dincbas:91', 'keywords' => '', 'pages' => '42-58', 'publisher' => 'MIT Press', 'title' => 'Solving a Cutting-Stock Problem in Constraint Logic Programming', 'type' => 'incollection', 'year' => '1991', ) array ( 'address' => 'Munich, Germany', 'author' => 'Mehmet Dincbas and Helmut Simonis and Pascal Van Hentenryck', 'booktitle' => 'Proceedings of the European Conference on Artificial Intelligence', 'editor' => 'Yves Kodratoff', 'key' => 'Dincbas_88', 'month' => 'aug', 'optnote' => 'First hard FD problem solved by CLP (CHIP), introduces element constraint', 'pages' => '290--295', 'publisher' => 'Pitman Publishers, London', 'title' => 'Solving the Car-Sequencing Problem in Constraint Logic Programming', 'type' => 'InProceedings', 'year' => '1988', ) array ( 'address' => 'Charlotte, North Carolina', 'author' => 'Jürgen Dix and Martin Müller', 'booktitle' => 'Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems', 'editor' => 'Ras, Z. W. and Zemankova, M.', 'key' => 'DixMue:Stable-PPE:94', 'month' => '16--19 oct', 'pages' => '511-520', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Artificial Intelligence, vol. 869', 'title' => 'Partial Evaluation and Relevance for Approximations of the Stable Semantics', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Vancouver, Canada', 'author' => 'Christophe Dony and Jacques Malenfant and Pierre Cointe', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Andreas Paepcke', 'key' => 'Dony_92', 'pages' => '201--217', 'publisher' => 'The ACM Press, New York', 'title' => 'Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'author' => 'Marco Dorigo and Vittorio Maniezzo and Alberto Colorni', 'journal' => 'IEEE Transactions on Systems, Man, and Cybernetics', 'key' => 'DorigoIEEE', 'number' => '1', 'pages' => '1--13', 'title' => 'The Ant System: Optimization by a colony of cooperating agents', 'type' => 'article', 'volume' => '26', 'year' => '1996', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Denise L. Draper and Ari K. Jónsson and David P. Clements and David E Joslin', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Thomas Dean', 'key' => 'Draper99', 'month' => 'aug', 'pages' => '1016--1021', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Cyclic Scheduling', 'type' => 'InProceedings', 'volume' => '2', 'year' => '1999', ) array ( 'author' => 'Karel Driesen', 'key' => 'Driesen:93', 'school' => 'Vrije Universiteit Brussel', 'title' => 'Method Lookup Strategies in Dynamically Typed Object-Oriented Programming Languages', 'type' => 'mastersthesis', 'year' => '1993', ) array ( 'address' => 'Washington, D.C.', 'author' => 'Karel Driesen', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Andreas Paepcke', 'key' => 'Driesen_93', 'pages' => '259--270', 'publisher' => 'ACM SIGPLAN Notices 28(10)', 'title' => 'Selector Table Indexing and Sparse Arrays', 'type' => 'inproceedings', 'year' => '1993', ) array ( 'address' => '1-33100 Udine, Italy', 'author' => 'Luca Di Gaspero and Andrea Schaerf', 'institution' => 'Dipartimento di Matematica e Informatica, Università degli Studi di Udine via delle Scienze 206', 'key' => 'EASYLOCAL', 'number' => 'UDMI/13/2000/RR', 'title' => 'EASYLOCAL++: An Object-oriented Framework for Flexible Design of Local Search Algorithms', 'type' => 'TechReport', 'year' => '2000', ) array ( 'address' => 'Bologna, Italy', 'author' => 'Martin Henz and Gert Smolka', 'booktitle' => 'Workshop on Coordination Models and Languages for Parallelism and Distribution (in connection with ECOOP 94)', 'key' => 'ECOOP94', 'title' => 'Objects in Higher-Order Concurrent Constraint Programming with State', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'Edmonds, J.', 'journal' => 'Journal of Research of the National Bureau of Standards', 'key' => 'Edmonds_a', 'pages' => '125--130', 'title' => 'Maximum matching and a ployhedron with 0,1-vertices', 'type' => 'ARTICLE', 'volume' => '69B', 'year' => '1965', ) array ( 'author' => 'Edmonds, J.', 'journal' => 'Canadian Journal on Mathematics', 'key' => 'Edmonds_b', 'pages' => '449--467', 'title' => 'Paths, trees, and flowers', 'type' => 'ARTICLE', 'year' => '1965', ) array ( 'address' => 'Portland, Oregon', 'author' => 'Andrew Black and Norman Hutchinson and Eric Jul and Henry Levy', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Norman Meyrowitz', 'key' => 'Emerald_86', 'pages' => '78--86', 'publisher' => 'ACM SIGPLAN Notices 21(11)', 'title' => 'Object Structure in the Emerald System', 'type' => 'inproceedings', 'year' => '1986', ) array ( 'address' => 'Schloss Hagenberg, Linz, Austria', 'author' => 'Christian Schulte', 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Engines:97', 'month' => 'oct/nov', 'pages' => '519--533', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Programming Constraint Inference Engines', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'Kazunori Ueda and Yasuhiro Ajiro and Kenta Cho', 'howpublished' => 'draft', 'key' => 'ErrorCorrectingSourceCode', 'title' => 'Error-correcting Source Code', 'type' => 'Misc', ) array ( 'address' => 'Leuven, Belgium', 'author' => 'Christian Schulte', 'booktitle' => 'Proceedings of the International Conference on Logic Programming', 'editor' => 'Lee Naish', 'key' => 'Explorer:97', 'month' => 'jul', 'pages' => '286--300', 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Oz Explorer: A Visual Constraint Programming Tool', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => '130 Lytton Avenue, Palo Alto, California 94301', 'author' => 'Luca Cardelli and Florian Matthes and Mart\\\'\\in Abadi', 'institution' => 'digital Systems Research Center', 'key' => 'ExtensibleSyntax', 'number' => 'SRC Research Report 121', 'title' => 'Extensible Syntax with Lexical Scoping', 'type' => 'techreport', 'year' => '1994', ) array ( 'author' => 'Gert Smolka', 'journal' => 'Journal of Logic Programming', 'key' => 'FL89', 'pages' => '51--87', 'title' => 'Feature Constraint Logics for Unification Grammars', 'type' => 'article', 'volume' => '12', 'year' => '1992', ) array ( 'author' => 'Bob Zeidman', 'howpublished' => 'White Paper of The Chalkboard Network', 'key' => 'FPGA-overview', 'title' => 'Introduction to FPGA Design', 'type' => 'Misc', 'year' => '2000', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Gert Smolka and Martin Henz and Michael Mehl and Ralf Scheidhauer and Christian Schulte and Ralf Treinen and Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'FR-97-02', 'number' => 'FR-97-02', 'title' => 'Hydra: Hybride Werkbank zur Konstruktion von deduktiven Problemlösern in wissensbasierten Systemen: Berechnung und Deduktion mit Constraints', 'type' => 'Research Report', 'year' => '1997', ) array ( 'address' => 'Tokyo, Japan', 'author' => 'Hassan A\\"\\it-Kaci and Andreas Podelski and Gert Smolka', 'booktitle' => 'Proceedings of the International Conference on Fifth Generation Computer Systems', 'key' => 'FT-FGC92', 'month' => '1--5 jun', 'note' => 'Final version in \\em Theoretical Computer Science, \\citeFT-tcs', 'pages' => '1012--1021', 'publisher' => 'Institute for New Generation Computer Technology', 'title' => 'A Feature-based Constraint System for Logic Programming with Entailment', 'type' => 'inproceedings', 'volume' => '2', 'year' => '1992', ) array ( 'address' => '92563 Rueil-Malmaison, France', 'author' => 'Hassan A\\"\\it-Kaci and Andreas Podelski and Gert Smolka', 'institution' => 'Digital Paris Research Laboratory', 'key' => 'FT-PRLreport', 'month' => 'nov', 'note' => 'Appeared in the 1992 \\em Conference on Fifth Generation Computer Systems, \\citeFT-FGC92, and in in \\em Theoretical Computer Science, \\citeFT-tcs.', 'number' => '20', 'title' => 'A Feature-based Constraint System for Logic Programming with Entailment', 'type' => 'Research Report', 'year' => '1992', ) array ( 'author' => 'Hassan A\\"\\it-Kaci and Andreas Podelski and Gert Smolka', 'journal' => 'Journal of Theoretical Computer Science', 'key' => 'FT-tcs', 'month' => 'jan', 'number' => '1--2', 'pages' => '263--283', 'title' => 'A Feature-based Constraint System for Logic Programming with Entailment', 'type' => 'Article', 'volume' => '122', 'year' => '1994', ) array ( 'address' => 'Madrid, Spain', 'author' => 'Françcois Fages and Julian Fowler and Thierry Sola', 'booktitle' => 'Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP\'94', 'editor' => 'Manuel V. Hermenegildo and Jaan Penjam', 'key' => 'Fages94', 'month' => 'sep', 'pages' => '261--276', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science 844', 'title' => 'Handling Preferences in Constraint Logic Programming with Relational Optimization', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Urbana-Champaign, IL', 'author' => 'H. L. Fang and P. Ross and D. Corne', 'booktitle' => 'Proc.\\ of the Fifth International Conference on Genetic Algorithms', 'key' => 'Fang:93', 'keywords' => '', 'pages' => '375-382', 'title' => 'A Promising Genetic Algorithm Approach to Job-Shop Scheduling, Rescheduling, and Open-Shop Scheduling Programs', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'address' => 'Orsay, France', 'author' => 'Joachim Niehren and Andreas Podelski', 'booktitle' => 'TAPSOFT 93: Theory and Practice of Software Development', 'editor' => 'Marie-Claude Gaudel and Jean-Pierre Jouannaud', 'key' => 'FeatureAutomata', 'month' => '13--16 apr', 'pages' => '356--375', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 668', 'title' => 'Feature Automata and Recognizable Sets of Feature Trees', 'type' => 'inproceedings', 'year' => '1993', ) array ( 'author' => 'J. A. Ferland and A. Hertz and A. Lavoie', 'journal' => 'Operations Research', 'key' => 'Ferland:96', 'pages' => '347-359', 'title' => 'An object-oriented methodology for solving assignment type problems with neighborhood search techniques', 'type' => 'article', 'volume' => '44', 'year' => '1996', ) array ( 'address' => 'San Francisco', 'author' => 'Klaus Fischer and Jörg Müller and Markus Pischel', 'booktitle' => 'Proceedings of the International Conference on Multiagent Systems (ICMAS)', 'key' => 'Fischer:95', 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'A Model for Cooperative Transportation Scheduling', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'author' => 'Ian Foster and Robert Olson and Steven Tuecke', 'journal' => 'Scientific Programming', 'key' => 'Foster:92', 'number' => '1', 'pages' => '55--66', 'title' => 'Productive Parallel Programming: The PCN Approach', 'type' => 'Article', 'volume' => '1', 'year' => '1992', ) array ( 'address' => 'Berlin, Heidelberg', 'author' => 'T. Franzen and S. Haridi and S. Janson', 'booktitle' => 'Extensions of Logic Programming: Proceedings of the Second International Workshop ELP\'91', 'editor' => 'L.-H. Eriksson and L. Hallnäs and P. Schroeder-Heister', 'key' => 'Franzen:92', 'keywords' => '', 'pages' => '163-179', 'publisher' => 'Springer', 'title' => 'An Overview of the Andorra Kernel Language', 'type' => 'incollection', 'year' => '1992', ) array ( 'address' => 'Philadelphia, PA', 'author' => 'Jon Freeman', 'key' => 'Freeman95', 'school' => 'Department of Computer and Information Science, University of Pennysylvania', 'title' => 'Improvements to Propositional Satisfiability Search Algorithms', 'type' => 'phdthesis', 'year' => '1995', ) array ( 'author' => 'Daniel Friedman and David Wise', 'journal' => 'IEEE Transactions on Computers', 'key' => 'Friedman:78', 'month' => 'apr', 'number' => '4', 'pages' => '289--296', 'title' => 'Aspects of Applicative Programming for Parallel Processing', 'type' => 'Article', 'volume' => 'C-27', 'year' => '1978', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Daniel Friedman and Mitchell Wand and Christopher Haynes', 'key' => 'FriedmanWandHaynes92', 'publisher' => 'The MIT Press', 'title' => 'Essentials of Programming Languages', 'type' => 'BOOK', 'year' => '1992', ) array ( 'address' => 'Nagoya, Japan', 'author' => 'Christian Bessière and Jean-Charles Régin', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Martha E. Pollack', 'key' => 'GACSchema', 'month' => 'aug', 'pages' => '398--404', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Arc Consistency for General Constraint Network: Preliminary Results', 'type' => 'inproceedings', 'year' => '1997', ) array ( 'address' => 'Singapore', 'author' => 'Laurent Granvilliers and Eric Monfroy', 'booktitle' => 'Principles and Practice of Constraint Programming---CP 2000, Proceedings of the Sixth International Conference', 'editor' => 'Rina Dechter', 'key' => 'GM2000', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1894', 'title' => 'Constraint Propagation: Between Abstract Models and ad hoc Strategies', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'address' => 'Como, Italy', 'author' => 'Daniel Diaz and Philippe Codognet', 'booktitle' => 'ACM Symposium on Applied Computing', 'key' => 'GNUProlog', 'note' => 'Documentation and system available at http://www.gnu.org/software/prolog', 'title' => 'The GNU Prolog Systems and its Implementation', 'type' => 'inproceedings', 'year' => '2000', ) array ( 'author' => 'Gabow, H. N.', 'journal' => 'Journal of the ACM', 'key' => 'Gabow:max_card_matching', 'pages' => '221--234', 'title' => 'An Efficient Implementation of Edmonds\' Algorithm for Maximum Matching on Graphs', 'type' => 'ARTICLE', 'volume' => '23', 'year' => '1976', ) array ( 'author' => 'Michel Gendreau and Alan Hertz and Gilbert Laporte', 'journal' => 'Management Science', 'key' => 'Gendreau:94', 'pages' => '1276--1290', 'title' => 'A Tabu Search Heuristic for the Vehicle Routing Problem', 'type' => 'ARTICLE', 'year' => '1994', ) array ( 'author' => 'Ian P. Gent and Ewan MacIntyre and Patrick Prosser and Toby Walsh', 'booktitle' => 'Proceedings of the thirteenth National Conference on Artificial Intelligence (AAAI \'96)', 'key' => 'Gent96', 'optnote' => 'Constant Kappa introduced, also look at CP\'96 proceedings', 'title' => 'The Constrainedness of Search', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'Carmen Gervet', 'journal' => 'Constraints', 'key' => 'Gervet:97a', 'number' => '3', 'pages' => '191--244', 'publisher' => 'Kluwer Academic Publishers', 'title' => 'Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language', 'type' => 'Article', 'volume' => '1', 'year' => '1997', ) array ( 'author' => 'Ghan Bir Singh', 'journal' => 'ACM SIGPLAN OOPS Messenger: Object-Oriented Programming Systems', 'key' => 'Ghan:94', 'number' => '1', 'pages' => '34--43', 'title' => 'Single Versus Multiple Inheritance in Object Oriented Programming', 'type' => 'article', 'volume' => '5', 'year' => '1994', ) array ( 'address' => 'Heilbronner Str. 10, D-1000 Berlin 31', 'author' => 'Wolfgang K. Giloi', 'institution' => 'Konrad-Zuse-Zentrum für Informationstechnik Berlin', 'key' => 'GiloiPlankalkuel', 'number' => 'TR 90-13', 'title' => 'Konrad Zuses Plankalkül als Vorläufer moderner Programmiermodelle', 'type' => 'techreport', 'year' => '1990', ) array ( 'address' => 'Institut Dalle Molle d\'Intelligence Artificielle Perceptive, Martigny, Switzerland', 'author' => 'Martin Henz and Michael Mehl', 'booktitle' => 'WOz\'95, International Workshop on Oz Programming', 'key' => 'Glinda:WOz:95', 'month' => '29 November--1 December', 'title' => 'Glinda: A Meta-circular Interpreter for Oz', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Reading, MA', 'author' => 'E. Gamma and R. Helm and R. Johnson and J. Vlissides', 'key' => 'GoF94', 'publisher' => 'Addison-Wesley', 'title' => 'Design Patterns', 'type' => 'book', 'year' => '1994', ) array ( 'address' => 'Palo Alto, CA', 'author' => 'Adele Goldberg and Alan Kay, editors', 'institution' => 'Xerox PARC', 'key' => 'Goldberg', 'month' => 'mar', 'number' => 'SSL-76-6', 'title' => 'Smalltalk-72 Instructional Manual', 'type' => 'Technical Report', 'year' => '1976', ) array ( 'address' => 'Reading, MA', 'author' => 'Adele Goldberg and David Robson', 'key' => 'GoldbergRobson:83', 'publisher' => 'Addison-Wesley', 'title' => 'Smalltalk-80: The Language and its Implementation', 'type' => 'Book', 'year' => '1983', ) array ( 'author' => 'Robert M. Haralick and Gordon L. Elliot', 'journal' => 'Artificial Intelligence', 'key' => 'HE80', 'number' => '3', 'pages' => '263--313', 'title' => 'Increasing Tree Search Efficiency for Constraint Satisfaction Problems', 'type' => 'article', 'volume' => '14', 'year' => '1980', ) array ( 'author' => 'Reiner Hähnle and Ryuzo Hasegawa and Yasuyuki Shirai', 'booktitle' => 'Proc.\\ of ILPS Post-Conference Workshop on Interval Constraints, Portland/OR, USA', 'editor' => 'Frédéric Benhamou and William J. Older and Maarten van Emden and Pascal van Hentenryck', 'key' => 'HHS95', 'month' => 'dec', 'title' => 'Model Generation Theorem Proving with Interval Constraints', 'type' => 'INPROCEEDINGS', 'year' => '1995', ) array ( 'address' => 'Beijing, P.R. China', 'author' => 'Andreas V. Hense and Gert Smolka', 'booktitle' => 'Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning', 'editor' => 'Zhongzhi Shi', 'key' => 'HS91', 'month' => '13--16 jul', 'organization' => 'International Federation for Information Processing', 'pages' => '137-164', 'publisher' => 'Elsevier, North-Holland, Excerpta Medica', 'title' => 'A Verification of Extensible Record Types', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'address' => 'Postfach 1150, D-66041 Saarbrücken, Germany', 'author' => 'Andreas V. Hense and Gert Smolka', 'institution' => 'Universität des Saarlandes, Fachbereich 14 Informatik', 'key' => 'HS92', 'month' => 'may', 'number' => 'A 03/92', 'title' => 'A Verification of Extensible Record Types', 'type' => 'Technischer Bericht', 'year' => '1992', ) array ( 'address' => 'Postfach 1150, D-66041 Saarbrücken, Germany', 'author' => 'Andreas V. Hense and Gert Smolka', 'institution' => 'Universität des Saarlandes, Fachbereich 14 Informatik', 'key' => 'HS93', 'month' => 'jun', 'number' => 'A 02/93', 'title' => 'Principal Types for Object-Oriented Languages', 'type' => 'Technischer Bericht', 'year' => '1993', ) array ( 'address' => 'Pisa, Italy', 'author' => 'Warwick Harvey and Peter Stuckey', 'booktitle' => 'Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming(CP98)', 'editor' => 'Jean-François Puget and Michael Maher', 'key' => 'HS:98', 'month' => 'OCT', 'pages' => '235--249', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science', 'title' => 'Constraint Representation for Propagation', 'type' => 'INPROCEEDINGS', 'year' => '1998', ) array ( 'address' => 'München, Germany', 'author' => 'Andreas Hense and Gert Smolka', 'booktitle' => '1st International Conference on Constraints in Computational Logics', 'editor' => 'Jean-Pierre Jouannaud', 'key' => 'HS:RecordsPrincTypes94ccl', 'month' => '7--9 sep', 'pages' => '219--236', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 845', 'title' => 'A Record Calculus with Principal Types', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Chambéry, France', 'author' => 'Martin Henz and Gert Smolka and Jörg Würtz', 'booktitle' => 'Proceedings of the 13$^th$ International Joint Conference on Artificial Intelligence', 'editor' => 'Ruzena Bajcsy', 'key' => 'HSW:Oz4MultiAgents93', 'month' => '30 August--3 September', 'pages' => '404--409', 'publisher' => 'Morgan Kaufmann Publishers', 'title' => 'Oz---A Programming Language for Multi-Agent Systems', 'type' => 'InProceedings', 'volume' => '1', 'year' => '1993', ) array ( 'address' => 'London', 'author' => 'Mozafian Hajian and Robert Rodosek and Barry Richards', 'institution' => 'IC-Parc', 'key' => 'Hajian96', 'optnote' => 'two-store approach to mixing integer and constraint programming', 'title' => 'Introduction of a New Class of Variables to Discrete and Integer Programming Problems', 'type' => 'techreport', 'year' => '1996', ) array ( 'address' => 'Department of Computer Science, University of Edinburgh', 'author' => 'Robert Harper', 'institution' => 'Laboratory for Foundations of Computer Science', 'key' => 'HarperML86', 'note' => 'revised Jan. 1989 by Nick Rothwell and Kevin Mitchell', 'number' => 'LFCS Report Series ECS-LFCS-86-14', 'title' => 'Introduction to Standard ML', 'type' => 'techreport', 'year' => '1986', ) array ( 'author' => 'Benjamin W. Wah and Yao-Jen Chang', 'journal' => 'Journal of Global Optimization', 'key' => 'HarperRobe94d', 'number' => '2', 'pages' => '107--141', 'title' => 'Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems', 'type' => 'article', 'volume' => '10', 'year' => '1997', ) array ( 'address' => 'Turku, Finland', 'author' => 'John Harrison', 'booktitle' => 'Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs\'96', 'editor' => 'Joakim von Wright and Jim Grundy and John Harrison', 'key' => 'Harrison96', 'month' => 'aug', 'pages' => '221--234', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1125', 'title' => 'St\\aalmarck\'s Algorithm as a HOL Derived Rule', 'type' => 'inproceedings', 'year' => '1996', ) array ( 'author' => 'J. W. Havender', 'journal' => 'IBM Systems Journal', 'key' => 'Havender:1968:ADM', 'number' => '2', 'pages' => '74--84', 'title' => 'Avoiding Deadlock in Multitasking Systems', 'type' => 'Article', 'volume' => '7', 'year' => '1968', ) array ( 'author' => 'M. Held and R. Karp', 'journal' => 'Operations Research', 'key' => 'Held:70', 'pages' => '1138-1162', 'title' => 'The Traveling Salesman and Minimum Spanning Trees', 'type' => 'article', 'volume' => '18', 'year' => '1970', ) array ( 'author' => 'Pascal Van Hentenryck and Laurent Michel and Frederic Benhamou', 'journal' => 'Science of Computer Programming', 'key' => 'Hentenryck97', 'title' => '\\tt Newton Constraint Programming over Nonlinear Constraints', 'type' => 'Article', 'year' => '1997', ) array ( 'author' => 'Henz, Martin', 'key' => 'HenzDiss', 'month' => 'jun', 'publisher' => 'Doctoral Dissertation, Technische Fakultät, Universität des Saarlandes, Saarbrücken, Germany', 'title' => 'Objects in Oz', 'type' => 'book', 'year' => '1997', ) array ( 'author' => 'Martin Henz', 'key' => 'HenzMaster', 'month' => 'dec', 'publisher' => 'Master\'s thesis, State University of New York at Stony Brook', 'title' => 'Term Rewriting in Associative Commutative Theories with Identities', 'type' => 'book', 'year' => '1991', ) array ( 'address' => 'Dordrecht / Boston / London', 'author' => 'Henz, Martin', 'key' => 'HenzOFCCP:98', 'optnote' => 'ISBN 0-7923-8038-X, 200 pages', 'publisher' => 'Kluwer Academic Publishers', 'series' => 'The Kluwer International Series in Engineering and Computer Science, Volume 426', 'title' => 'Objects for Concurrent Constraint Programming', 'type' => 'book', 'year' => '1998', ) array ( 'address' => 'München, Wien', 'author' => 'Rudolf Herschel and Friedrich Pieper', 'key' => 'Herschel:83', 'publisher' => 'R. Oldenbourg Verlag', 'title' => 'PASCAL und PASCAL-Systeme', 'type' => 'book', 'year' => '1983', ) array ( 'author' => 'Carl Hewitt', 'journal' => 'Journal of Artificial Intelligence', 'key' => 'Hewitt77', 'number' => '3', 'pages' => '323--364', 'title' => 'Viewing Control Structures as Patterns of Message Passing', 'type' => 'Article', 'volume' => '8', 'year' => '1977', ) array ( 'address' => 'Toronto, Canada', 'author' => 'Carl Hewitt and Henry Baker', 'booktitle' => 'Proceedings of the World Computer Congress of the IFIP', 'editor' => 'Bruce Gilchrist', 'key' => 'HewittBaker77', 'month' => 'aug', 'pages' => '987--992', 'publisher' => 'North-Holland, Amsterdam', 'title' => 'Laws for Communicating Parallel Processes', 'type' => 'INPROCEEDINGS', 'year' => '1977', ) array ( 'author' => 'Chen, Weidong and Kifer, Michael and Warren, David S.', 'journal' => 'Journal of Logic Programming', 'key' => 'Hilog', 'pages' => '187-230', 'title' => 'HiLog: A Foundation for Higher-Order Logic Programming', 'type' => 'article', 'volume' => '15', 'year' => '1993', ) array ( 'author' => 'Charles A. R. Hoare', 'journal' => 'Communications of the ACM', 'key' => 'Hoare72', 'month' => 'oct', 'number' => '10', 'pages' => '549--557', 'title' => 'Monitors: An Operating System Structuring Concept', 'type' => 'article', 'volume' => '17', 'year' => '1972', ) array ( 'author' => 'Charles A. R. Hoare and Nikolaus Wirth', 'journal' => 'Communications of the ACM', 'key' => 'Hoare:66', 'number' => '6', 'pages' => '413--432', 'title' => 'Contribution to the Development of ALGOL 60', 'type' => 'article', 'volume' => '9', 'year' => '1966', ) array ( 'address' => 'Geneva, Switzerland', 'author' => 'Urs Hölzle and Craig Chambers and David Ungar', 'booktitle' => 'Proceeedings of the European Conference on Object-Oriented Programming', 'editor' => 'Pierre America', 'key' => 'Hoelzle:91', 'pages' => '21--38', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  512', 'title' => 'Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches', 'type' => 'InProceedings', 'year' => '1991', ) array ( 'author' => 'Urs Hölzle and David Ungar', 'journal' => 'ACM Transactions on Programming Languages and Systems', 'key' => 'Hoelzle:96', 'number' => '4', 'pages' => '355--400', 'title' => 'Reconciling Responsiveness with Performance in Pure Object-Oriented Languages', 'type' => 'article', 'volume' => '18', 'year' => '1996', ) array ( 'author' => 'J. N. Hooker and V. Vinay', 'journal' => 'Journal of Automated Reasoning', 'key' => 'Hooker95', 'optnote' => 'High emphasis on methodology for designing computational experiments. Looks at Jeroslow-Wang rule, shows that an alternative motivation leads to ways to improve the rule.', 'pages' => '359-383', 'title' => 'Branching rules for satisfiability', 'type' => 'Article', 'volume' => '15', 'year' => '1995', ) array ( 'author' => 'J. N. Hooker', 'journal' => 'Operations Research', 'key' => 'Hooker:94', 'pages' => '201--212', 'title' => 'Needed: An empirical science of algorithms', 'type' => 'Article', 'volume' => '42', 'year' => '1994', ) array ( 'author' => 'J. N. Hooker', 'journal' => 'Journal of Heuristics', 'key' => 'Hooker:96', 'pages' => '33--42', 'title' => 'Testing heuristics: We have it all wrong', 'type' => 'Article', 'volume' => '1', 'year' => '1996', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Holger H. Hoos', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Thomas Dean', 'key' => 'Hoos99', 'month' => 'aug', 'pages' => '296--302', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'SAT-Encodings, Search Space Structure, and Local Search Performance', 'type' => 'InProceedings', 'volume' => '1', 'year' => '1999', ) array ( 'author' => 'Holger Hoos', 'howpublished' => 'Diplomarbeit. Fachbereich Informatik, Technische Hochschule Darmstadt, Germany', 'key' => 'Hoos:1996', 'month' => 'mar', 'title' => 'Aussagenlogische SAT-Verfahren und ihre Anwendung bei der Lösung des HC-Problems in gerichteten Graphen', 'type' => 'misc', 'year' => '1996', ) array ( 'address' => 'Vancouver, Canada', 'author' => 'Bruce Horn', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Andreas Paepcke', 'key' => 'Horn_92', 'pages' => '218--233', 'publisher' => 'The ACM Press, New York', 'title' => 'Constraint Patterns As a Basis For Object Oriented Programming', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'author' => 'Matthew Huntbach', 'journal' => 'Journal of Object-Oriented Programming', 'key' => 'Huntbach95', 'pages' => '29--37', 'title' => 'An Introduction to RGDC as a Concurrent Object-Oriented Language', 'type' => 'article', 'year' => '1995', ) array ( 'author' => 'Martin Henz and Michael Mehl and Ralf Scheidhauer and Gert Smolka and Ralf Treinen and Jörg Würtz', 'booktitle' => 'Statusseminar des BMFT, Künstliche Intelligenz', 'editor' => 'Gottfried Wolf', 'key' => 'Hydra-Statusseminar93', 'month' => '27--28 apr', 'pages' => '385--396', 'publisher' => 'Deutsche Forschungsanstalt für Luft- und Raumfahrt e.V.', 'title' => 'Nebenläufige objektorientierte Programmierung mit Constraints', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'author' => 'Martin Henz and Jörg Würtz', 'booktitle' => 'The Selected Proceedings of the 1st International Conference on the Practice and Theory of Automated Time Tabling, Edinburgh 1995', 'editor' => 'E.K.Burke and P.Ross', 'key' => 'ICPTAT95', 'pages' => '162--177', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1153', 'title' => 'Using Oz for College Time Tabling', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'Martin Henz', 'journal' => 'IEEE Intelligent Systems', 'key' => 'IEEEIS2000', 'month' => 'jan-feb', 'number' => '1', 'pages' => '5--7', 'title' => 'Friar Tuck - A Constraint-Based Tournament-Scheduling Tool', 'type' => 'article', 'volume' => '15', 'year' => '2000', ) array ( 'address' => 'Chambéry, France', 'author' => 'Martin Henz and Gert Smolka and Jörg Würtz', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Ruzena Bajcsy', 'key' => 'IJCAI93', 'pages' => '404--409', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Oz---A Programming Language for Multi-Agent Systems', 'type' => 'InProceedings', 'volume' => '1', 'year' => '1993', ) array ( 'address' => 'Mountain View, CA 94043, USA, \\tt http://www.ilog.com', 'key' => 'ILOG', 'organization' => 'ILOG Inc.', 'title' => 'ILOG Solver 4.4, Reference Manual', 'type' => 'Manual', 'year' => '1999', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Robert Iannucci', 'key' => 'IannucciDiss', 'school' => 'Massachusetts Institute of Technology', 'title' => 'Dataflow/von Neumann Hybrid Architecture', 'type' => 'phdthesis', 'year' => '1988', ) array ( 'address' => 'Paris', 'author' => 'Tetsuo Ida and Jiro Tanaka', 'booktitle' => 'Proceedings of the World Computer Congress of the IFIP', 'editor' => 'R. E. A. Mason', 'key' => 'Ida83', 'pages' => '265--270', 'publisher' => 'North-Holland, Amsterdam', 'title' => 'Functional Programming with Streams', 'type' => 'InProceedings', 'year' => '1983', ) array ( 'address' => 'Singapore', 'author' => 'Jean-François Puget', 'booktitle' => 'Proceedings of the Second Singapore International Conference on Intelligent Systems (SPICIS)', 'key' => 'Ilog94', 'month' => 'nov', 'pages' => 'B256--B261', 'title' => 'A C++ implementation of CLP', 'type' => 'INPROCEEDINGS', 'year' => '1994', ) array ( 'author' => 'Carol Sliwa', 'journal' => 'ComputerWorld', 'key' => 'JDBC', 'note' => 'Available at \\verbhttp://www.computerworld.com/home/features.nsf/all/991213qs', 'title' => 'Java Database Connectivity', 'type' => 'article', 'year' => '2000', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D66123 Saarbrücken, Germany', 'author' => 'Joachim Niehren', 'directory' => 'ProgrammingSysLab', 'filename' => 'RR-95-14.ps.Z, RR-95-14.ps.Z', 'institution' => 'Deutsches Forschungszentrum für Künstliche Intelligenz', 'key' => 'JN:RR-95-14', 'month' => 'nov', 'note' => 'shorter version appeared in: \\em Proceedings of POPL\'96\\/, The ACM Press', 'number' => 'RR-95-14', 'title' => 'Functional Computation as Concurrent Computation', 'type' => 'Research Report', 'year' => '1995', ) array ( 'author' => 'Robert Halstead', 'journal' => 'ACM Transactions on Programming Languages and Systems', 'key' => 'JTOPLAS-07-4*501', 'number' => '4', 'pages' => '501--538', 'title' => 'Multilisp: A Language for Concurrent Symbolic Computation', 'type' => 'ARTICLE', 'volume' => '7', 'year' => '1985', ) array ( 'author' => 'Joxan Jaffar and Jean-Louis Lassez', 'booktitle' => 'Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, Germany', 'key' => 'JaffarLassez:87', 'month' => 'jan', 'pages' => '111-119', 'publisher' => 'The ACM Press', 'title' => 'Constraint Logic Programming', 'type' => 'InProceedings', 'year' => '1987', ) array ( 'address' => 'SICS Box 1263, S-164 28 Kista, Sweden', 'author' => 'Sverker Janson', 'key' => 'Janson:PhD:94', 'number' => '14', 'school' => 'SICS Swedish Institute of Computer Science', 'series' => 'SICS Dissertation Series', 'title' => 'AKL---A Multiparadigm Programming Language', 'type' => 'PhdThesis', 'year' => '1994', ) array ( 'address' => 'Montreal, Canada', 'author' => 'Lalita Jategaonka and Albert Meyer', 'booktitle' => 'Proceedings of the Annual IEEE Symposium on Logic in Computer Science', 'editor' => 'Robert Constable', 'key' => 'Jategaonkar_93', 'month' => 'June', 'pages' => '409--417', 'publisher' => 'IEEE Computer Society Press', 'title' => 'Self-Synchronization of Concurrent Processes', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'address' => 'Caregie Mellon University, Pittsburgh, PA 15213', 'author' => 'Jonathan C. Hardwick and Jay Sipelstein', 'institution' => 'School of Computer Science', 'key' => 'JavaIntermediate', 'number' => 'CMU-CS-96-161', 'title' => 'Java as an Intermediate Language', 'type' => 'techreport', 'year' => '1966', ) array ( 'author' => 'N. Jones and P. Sestoft and Harald Søndergaard', 'booktitle' => 'Proceedings of the Conference on Rewriting Techniques and Applications', 'editor' => 'J.-P. Jouannaud', 'key' => 'Jones_85', 'optnote' => '1608', 'pages' => '124-140', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  202', 'title' => 'An Experiment in Partial Evaluation: The Generation of a Compiler Generator', 'type' => 'inproceedings', 'year' => '1985', ) array ( 'address' => 'Englewood Cliffs, NJ', 'author' => 'N. Jones and C. Gomard and P Sestoft', 'key' => 'Jones_93', 'keywords' => '', 'optnote' => '1608', 'publisher' => 'Prentice Hall', 'title' => 'Partial Evaluation and Automatic Program Generation', 'type' => 'book', 'year' => '1993', ) array ( 'author' => 'S. Kirkpatrick and C. Gelatt and M. Vecchi', 'journal' => 'Science', 'key' => 'KIRK:83', 'pages' => '671-680', 'title' => 'Optimization by Simulated Annealing', 'type' => 'article', 'volume' => '220', 'year' => '1983', ) array ( 'author' => 'Kazunori Ueda and Takashi Chikayama', 'journal' => 'The Computer Journal', 'key' => 'KL1', 'number' => '6', 'pages' => '494--500', 'title' => 'Design of the Kernel Language for the Parallel Inference Machine', 'type' => 'Article', 'volume' => '33', 'year' => '1990', ) array ( 'address' => 'Raleigh, NC', 'author' => 'Jana Koehler and Ralf Treinen', 'booktitle' => 'Symposium on automated deduction in non-standard logics (working notes)', 'editor' => 'Peter Jackson and Richard Scherl and Donald Nute and Jeff Pelletier and Lincoln Wallen', 'key' => 'KT:TemporalLogic93aaai', 'month' => '22--24 oct', 'number' => 'AAAI-TR FS-93-01', 'publisher' => 'Proceedings of the AAAI National Conference on Artificial Intelligence', 'title' => 'Constraint Deduction in an Interval-Based Temporal Logic', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'author' => 'Jana Koehler and Ralf Treinen', 'booktitle' => 'Executable Modal and Temporal Logics', 'editor' => 'Michael Fisher and Richard Owens', 'key' => 'KT:TemporalLogic93ijcai', 'pages' => '103--117', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Artificial Intelligence, vol. 897', 'title' => 'Constraint Deduction in an Interval-Based Temporal Logic', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'author' => 'Ng, Ka Boon Kevin', 'key' => 'KaBoonMaster', 'publisher' => 'Master\'s thesis, School of Computing, National University of Singapore', 'title' => 'A Generic Software Framework For Finite Domain Constraint Programming', 'type' => 'book', 'year' => '2001', ) array ( 'address' => 'Ft. Lauderdale, FL', 'author' => 'Frans Kaashoek and Henri Bal and Andrew Tanenbaum', 'booktitle' => 'Proceedings of the Workshop on Experiences with Building Distributed and Multiprocessor Systems', 'key' => 'Kaashoek:89', 'pages' => '175--191', 'title' => 'Experience with the distributed data structure paradigm in Linda', 'type' => 'InProceedings', 'year' => '1989', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Gilles Kahn', 'booktitle' => 'Proceedings of the World Computer Congress of the IFIP', 'key' => 'Kahn74', 'pages' => '471--475', 'publisher' => 'North-Holland, Amsterdam', 'title' => 'The Semantics of a Simple Language for Parallel Processes', 'type' => 'InProceedings', 'year' => '1974', ) array ( 'address' => 'Toronto, Canada', 'author' => 'Gilles Kahn and David MacQueen', 'booktitle' => 'Proceedings of the World Computer Congress of the IFIP', 'editor' => 'Bruce Gilchrist', 'key' => 'Kahn77', 'month' => 'aug', 'pages' => '993--998', 'publisher' => 'North-Holland, Amsterdam', 'title' => 'Coroutines and Networks of Parallel Processes', 'type' => 'INPROCEEDINGS', 'year' => '1977', ) array ( 'address' => 'Nottingham, UK', 'author' => 'Kenneth Kahn', 'booktitle' => 'Proceeedings of the European Conference on Object-Oriented Programming', 'editor' => 'Stephen Cook', 'key' => 'Kahn89', 'pages' => '207--223', 'publisher' => 'Cambridge University Press, Cambridge, MA', 'title' => 'Objects: A fresh look', 'type' => 'inproceedings', 'year' => '1989', ) array ( 'address' => 'ICOT, Japan', 'author' => 'Kahn, Kenneth', 'booktitle' => 'Proceedings of the International Conference on Fifth Generation Computer Systems', 'key' => 'Kahn92-0:confs', 'pages' => '943--950', 'publisher' => 'The ACM Press', 'title' => 'Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint Programs', 'type' => 'inproceedings', 'year' => '1992', ) array ( 'address' => 'Portland, Oregon', 'author' => 'Kenneth Kahn and Eric Tribble and Mark Miller and Daniel Bobrow', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Norman Meyrowitz', 'key' => 'Kahn:86', 'pages' => '242--257', 'publisher' => 'ACM SIGPLAN Notices 21(11)', 'title' => 'Objects in Concurrent Logic Programming Languages', 'type' => 'InProceedings', 'year' => '1986', ) array ( 'address' => 'Skokie, IL', 'author' => 'K. M. Kahn and V. A. Saraswat', 'booktitle' => 'Proc.\\ of the IEEE Workshop 1990 on Visual Languages', 'key' => 'Kahn:90', 'keywords' => '', 'pages' => '7-15', 'title' => 'Complete Visualizations of Concurrent Programs and Their Executions', 'type' => 'inproceedings', 'year' => '1990', ) array ( 'author' => 'Kenneth M. Kahn', 'howpublished' => 'unpublished', 'key' => 'KahnPlay', 'title' => 'Towards Visual Concurrent Constraint Programming', 'type' => 'Misc', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Hermann Kaindl and Gerhard Kainz and Roland Steiner and Andreas Auer and Klaus Radda', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Thomas Dean', 'key' => 'Kaindl99', 'month' => 'aug', 'pages' => '1178--1183', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Switching from Bidirectional to Unidirectional Search', 'type' => 'InProceedings', 'volume' => '2', 'year' => '1999', ) array ( 'author' => 'Murat Karaorman and John Bruno', 'crossref' => 'cool_cacm_issue', 'journal' => 'Communications of the ACM', 'key' => 'KaraormanBruno:93', 'month' => 'sep', 'number' => '9', 'pages' => '103--116', 'title' => 'Introducing Concurrency to a Sequential Language', 'type' => 'Article', 'volume' => '36', 'year' => '1993', ) array ( 'author' => 'S. Khoo and R. Sundaresh', 'booktitle' => 'Partial Evaluation and Semantics-based Program Manipulation', 'key' => 'Khoo_91', 'note' => 'SIGPLAN Notices, vol. 26, no. 9, September 1991', 'optnote' => '1608', 'pages' => '211-222', 'publisher' => 'The ACM Press, New York', 'title' => 'Compiling inheritance using partial evaluation', 'type' => 'inproceedings', 'year' => '1991', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Gregor Kiczales and Jim des Rivières and Daniel Bobrow', 'key' => 'Kiczales91', 'publisher' => 'The MIT Press', 'title' => 'The Art of the Metaobject Protocol', 'type' => 'book', 'year' => '1991', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Gregor Kiczales and Michael Ashley and Luis Rodriguez and Amin Vahdat and Daniel Bobrow', 'booktitle' => 'Object-Oriented Programming: The CLOS Perspective', 'editor' => 'Andreas Paepcke', 'key' => 'Kiczales:93', 'pages' => '103--118', 'publisher' => 'The MIT Press', 'title' => 'Metaobject Protocols: Why We Want Them and What Else They Can Do', 'type' => 'incollection', 'year' => '1993', ) array ( 'address' => 'Reading, MA', 'author' => 'Won Kim and Frederick Lochovsky', 'key' => 'Kim:89', 'publisher' => 'Addison-Wesley', 'title' => 'Object-Oriented Concepts, Databases, and Applications', 'type' => 'book', 'year' => '1989', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Robert Kowalski', 'booktitle' => 'Proceedings of the World Computer Congress of the IFIP', 'editor' => 'Jack Rosenfeld', 'key' => 'Kowalski74', 'publisher' => 'North-Holland, Amsterdam', 'title' => 'Predicate Logic as a Programming Language', 'type' => 'INPROCEEDINGS', 'year' => '1974', ) array ( 'address' => 'Reading, MA', 'editor' => 'Glenn Krassner', 'key' => 'Krassner:83', 'publisher' => 'Addison-Wesley', 'title' => 'Smalltalk-80: Bits of History and Words of Advice', 'type' => 'book', 'year' => '1983', ) array ( 'author' => 'Vipin Kumar', 'journal' => 'AI Magazine', 'key' => 'Kumar', 'number' => '1', 'optnote' => 'nice survey of a broad range of CSP algorithms including many of the fundamental ideas of constraint programming', 'pages' => '32--44', 'title' => 'Algorithms for Constraint-Satisfaction Problems', 'type' => 'Article', 'volume' => '13', 'year' => '1992', ) array ( 'address' => 'Cambridge', 'author' => 'Mehlhorn, Kurt and Näher, Stefan', 'isbn' => '0-521-56329-1', 'key' => 'LEDA_book', 'month' => 'November', 'pages' => '1018', 'publisher' => 'Cambridge University Press', 'title' => 'LEDA: a Platform for Combinatorial and Geometric Computing', 'type' => 'BOOK', 'year' => '1999', ) array ( 'author' => 'P. J. M. Van Laarhoven and E. H. L. Aarts and J. K. Lenstra', 'journal' => 'Operations Research', 'key' => 'Laarhoven:92', 'number' => '1', 'pages' => '113--125', 'title' => 'Job Shop Scheduling By Simulated Annealing', 'type' => 'Article', 'volume' => '40', 'year' => '1992', ) array ( 'author' => 'Peter Landin', 'journal' => 'Computer Journal', 'key' => 'Landin63', 'number' => '4', 'pages' => '308--320', 'title' => 'The Mechanical Evaluation of Expressions', 'type' => 'Article', 'volume' => '6', 'year' => '1963', ) array ( 'author' => 'Peter Landin', 'journal' => 'Communications of the ACM', 'key' => 'Landin65', 'number' => '2', 'pages' => '89--101', 'title' => 'A Correspondence between ALGOL 60 and Church\'s Lambda-Notation: Part I', 'type' => 'article', 'volume' => '8', 'year' => '1965', ) array ( 'author' => 'Peter Landin', 'journal' => 'Communications of the ACM', 'key' => 'Landin66', 'number' => '3', 'pages' => '157--166', 'title' => 'The Next 700 Programming Languages', 'type' => 'article', 'volume' => '9', 'year' => '1966', ) array ( 'author' => 'Gilbert Laporte and Yves Nobert', 'journal' => 'Annals of Discrete Mathematics', 'key' => 'Laporte:87', 'pages' => '147-184', 'title' => 'Exact Algorithms for the Vehicle Routing Problem', 'type' => 'article', 'volume' => '31', 'year' => '1987', ) array ( 'author' => 'Claude Le Pape', 'howpublished' => 'Presentation Slides', 'key' => 'LePape97', 'optnote' => 'excellent introduction, path finding etc, excellent bibliography', 'title' => 'Constraint-based Scheduling', 'type' => 'Misc', 'year' => '1996', ) array ( 'author' => 'Le Pape, Claude and Baptiste, Philippe', 'journal' => 'Constraints', 'key' => 'LePape:98', 'pages' => '263--287', 'publisher' => 'Kluwer Academic Publishers', 'title' => 'Resource Constraints for Preemptive Job-shop Scheduling', 'type' => 'Article', 'volume' => '3', 'year' => '1998', ) array ( 'address' => 'Reading, MA', 'author' => 'Doug Lea', 'key' => 'Lea:96', 'publisher' => 'Addison-Wesley', 'series' => 'The Java Series', 'title' => 'Concurrent Programming in Java', 'type' => 'BOOK', 'year' => '1997', ) array ( 'address' => 'Reading, MA', 'author' => 'Wm Leler', 'key' => 'Leler88', 'publisher' => 'Addison-Wesley', 'title' => 'Constraint Programming Languages: Their Specification and Generation', 'type' => 'Book', 'year' => '1988', ) array ( 'author' => 'Chu Min Li', 'booktitle' => 'Information Processing Letters', 'key' => 'Li:99', 'pages' => '75--80', 'title' => 'A Constraint-Based Approach to Narrow Search Tree for Satisfiability', 'type' => 'article', 'volume' => '71', 'year' => '1999', ) array ( 'address' => 'Reading, MA', 'author' => 'Stanley Lippman', 'key' => 'Lippman89', 'publisher' => 'Addison-Wesley', 'title' => 'C++ Primer', 'type' => 'book', 'year' => '1989', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Guy Steele and Richard Gabriel', 'booktitle' => 'Proceedings of the ACM SIGPLAN History of Programming Languages Conference', 'editor' => 'Richard Wexelblat', 'key' => 'LispHistory', 'pages' => '231--270', 'publisher' => 'ACM SIGPLAN Notices 28(3)', 'title' => 'The Evolution of Lisp', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'author' => 'Bing Liu and Joxan Jaffar and Roland H.C. Yap', 'howpublished' => 'Draft', 'key' => 'LiuBing97', 'title' => 'Constraint Rule-Based Programming', 'type' => 'Misc', 'year' => '1997', ) array ( 'address' => 'Bologna, Italy', 'author' => 'Cristina Videira Lopez and Karl Lieberherr', 'booktitle' => 'Proceeedings of the European Conference on Object-Oriented Programming', 'editor' => 'Paolo Ciancarini and Oscar Nierstrasz and Akinori Yonezawa', 'key' => 'Lopez:94', 'pages' => '81--99', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  821', 'title' => 'Abstracting Process-to-Function Relations in Concurrent Object-Oriented Applications', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'Steven Lucco', 'journal' => 'SIGPLAN Notices', 'key' => 'Lucco:87', 'month' => 'dec', 'number' => '12', 'pages' => '26--34', 'title' => 'Parallel Programming in a Virtual Object Space', 'type' => 'Article', 'volume' => '22', 'year' => '1987', ) array ( 'address' => 'Seattle, WA', 'author' => 'Daniel Sabin and Eugene Freuder', 'booktitle' => 'PPCP 94, Second Workshop on Principles and Practice of Constraint Programming', 'editor' => 'Alan Borning', 'key' => 'MAC', 'title' => 'Contradicting Conventional Wisdom in Constraint Satisfaction', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'Roger Mohr and Thomas C. Henderson', 'journal' => 'Artificial Intelligence', 'key' => 'MH:86', 'number' => '2', 'pages' => '65--74', 'title' => 'A Generic Arc-Consistency Algorithm', 'type' => 'article', 'volume' => '28', 'year' => '1986', ) array ( 'author' => 'Jawahar Malhotra', 'howpublished' => 'Stony Brook, Lecture Note of CSE 526, Principles of Programming Languages, tought by Prateek Mishra', 'key' => 'MLSyntax91', 'title' => 'An Introduction to the Standard ML Syntax', 'type' => 'Misc', 'year' => '1991', ) array ( 'address' => 'Santa Margherita Ligure, Italy', 'author' => 'Jürgen Dix and Martin Müller', 'booktitle' => 'Proceedings of the 1994 International Conference on Logic Programming', 'editor' => 'Pascal Van Hentenryck', 'key' => 'MMueller:ICLP94', 'month' => '13--18 jun', 'pages' => '303--320', 'publisher' => 'The MIT Press', 'title' => 'An Axiomatic Approach to Semantics of Disjunctive Programs', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Saarbrücken, Germany', 'author' => 'Jürgen Dix and Martin Müller', 'booktitle' => 'KI-94: Advances in Artificial Intelligence', 'editor' => 'Bernhard Nebel and Leonie Dreschler-Fischer', 'key' => 'MMueller:KI94', 'month' => 'sep', 'pages' => '82--93', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Artificial Intelligence, vol. 861', 'title' => 'The Stable Semantics and its Variants: A Comparison of Recent Approaches', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Utrecht, The Netherlands', 'author' => 'Michael Mehl and Ralf Scheidhauer and Christian Schulte', 'booktitle' => 'Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP\'95', 'editor' => 'Manuel Hermenegildo and S. Doaitse Swierstra', 'key' => 'MSS:PLILP95', 'month' => 'sep', 'pages' => '151--168', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 982', 'title' => 'An Abstract Machine for Oz', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Michael Mehl and Ralf Scheidhauer and Christian Schulte', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'MSS:RR-95-08', 'month' => 'jun', 'note' => 'Also in: \\em Proceedings of PLILP\'95\\/, Springer-Verlag, LNCS 982, Utrecht, The Netherlands, 1995, \\citeMSS:PLILP95', 'number' => 'RR-95-08', 'title' => 'An Abstract Machine for Oz', 'type' => 'Research Report', 'year' => '1995', ) array ( 'address' => 'Singapore', 'author' => 'Kurt Mehlhorn and Sven Thiel', 'booktitle' => 'Principles and Practice of Constraint Programming---CP 2000, Proceedings of the Sixth International Conference', 'editor' => 'Rina Dechter', 'key' => 'MT2000', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1894', 'title' => 'Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint', 'type' => 'inproceedings', 'year' => '2000', ) array ( 'address' => 'Fort Lauderdale, Florida', 'author' => 'J. P. Marques-Silva', 'booktitle' => 'Fifth International Symposium on Artificial Intelligence and Mathematics', 'key' => 'M_S98', 'month' => 'Jan', 'note' => 'Electronic proceedings available from http://rutcor.rutgers.edu/ amai/aimath98/Proceedings.html', 'title' => 'An Overview of Backtrack Search Satisfiability Algorithms', 'type' => 'inproceedings', 'year' => '1998', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Satoshi Matsuoka and Akinori Yonezawa', 'booktitle' => 'Research Directions in Object-Based Concurrency', 'editor' => 'Gul Agha and Peter Wegner and Akinori Yonezawa', 'key' => 'MatsuokaYonezawa:93', 'publisher' => 'The MIT Press', 'title' => 'Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages', 'type' => 'incollection', 'year' => '1993', ) array ( 'address' => 'Paris', 'author' => 'Ken McAloon and Carol Tretkoff and Gerhard Wetzel', 'booktitle' => 'Proceedings of the 1997 ILOG Optimization Suite International Users\' Conference', 'key' => 'McAloon97', 'month' => 'jul', 'title' => 'Sports League Scheduling', 'type' => 'INPROCEEDINGS', 'year' => '1997', ) array ( 'author' => 'John McCarthy', 'journal' => 'Communications of the ACM', 'key' => 'McCarthy1960', 'pages' => '184--195', 'title' => 'Recursive functinos of symbolic expressions and their computation by machine', 'type' => 'article', 'volume' => '3', 'year' => '1960', ) array ( 'address' => 'Cambridge, MA', 'author' => 'John McCarthy', 'key' => 'McCarthy:65', 'publisher' => 'The MIT Press', 'title' => 'LISP 1.5 Programmer\'s Manual', 'type' => 'book', 'year' => '1965', ) array ( 'address' => 'Dublin, Ireland', 'author' => 'Ciaran McHale', 'key' => 'McHaleDiss', 'school' => 'University of Dublin, Trinity College', 'title' => 'Synchronization in Concurrent Object-Oriented Languages: Expressive Power, Genericity and Inheritance', 'type' => 'phdthesis', 'year' => '1994', ) array ( 'address' => 'Scientific Affairs Division, NATO, Brussels', 'author' => 'M. D. McIlroy', 'booktitle' => 'Software Engineering, Report on a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th to 11th October 1968', 'editor' => 'P. Naur and B. Randell', 'key' => 'McIlroy69', 'keywords' => '', 'pages' => '138--155', 'title' => 'Mass Produced Software Components', 'type' => 'inproceedings', 'year' => '1969', ) array ( 'address' => 'Postfach 3049, D-67653 Kaiserslautern, Germany', 'author' => 'Michael Mehl', 'institution' => 'Universität Kaiserslautern, Fachbereich Informatik', 'key' => 'Mehl91', 'month' => 'dec', 'note' => 'In German. A short version appeared in the 1991 \\em International Workshop on Nonmonotonic and Inductive Logic, \\citemehl93', 'number' => 'SWP-91-04 (SFB)', 'title' => 'Nichtmonotone Aspekte des fallbasierten Schließens und deren Fundierung in Default-Logik mit Prioritäten', 'type' => 'SEKI Report', 'year' => '1991', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Pedro Meseguer and Carme Torras', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Thomas Dean', 'key' => 'Meseguer99', 'month' => 'aug', 'pages' => '400--405', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Solving Strategies for Highly Symmetric CSPs', 'type' => 'InProceedings', 'volume' => '1', 'year' => '1999', ) array ( 'address' => 'Kaiserslautern, Germany', 'author' => 'José Meseguer', 'booktitle' => 'Proceeedings of the European Conference on Object-Oriented Programming', 'editor' => 'Oscar Nierstrasz', 'key' => 'Meseguer:93', 'pages' => '220--246', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  707', 'title' => 'Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'address' => 'Brighton, UK', 'author' => 'Pedro Meseguer and Toby Walsh', 'booktitle' => 'Proceedings of the European Conference on Artificial Intelligence', 'editor' => 'Henri Prade', 'key' => 'MeseguerWalsh98', 'month' => 'aug', 'pages' => '239--243', 'publisher' => 'John Wiley & Sons', 'title' => 'Interleaved and Discrepancy Based Search', 'type' => 'INPROCEEDINGS', 'year' => '1998', ) array ( 'address' => 'Englewood Cliffs, NJ', 'author' => 'Bertrand Meyer', 'key' => 'Meyer92', 'publisher' => 'Prentice Hall', 'series' => 'Object-Oriented Series', 'title' => 'Eiffel: The Language', 'type' => 'BOOK', 'year' => '1992', ) array ( 'author' => 'Bertrand Meyer', 'crossref' => 'cool_cacm_issue', 'journal' => 'Communications of the ACM', 'key' => 'Meyer:cacm:93', 'month' => 'sep', 'number' => '9', 'pages' => '56--80', 'title' => 'Systematic Concurrent Object-Oriented Programming', 'type' => 'article', 'volume' => '36', 'year' => '1993', ) array ( 'address' => 'Reading, Maassacusetts', 'author' => 'Scott Meyers', 'key' => 'Meyers96', 'publisher' => 'Addison-Wesley', 'title' => 'More Effective C++', 'type' => 'Book', 'year' => '1995', ) array ( 'address' => 'Marktoberndorf, Germany', 'author' => 'Robin Milner', 'booktitle' => 'Proceedings of the Summer School on Logic and Algebra of Specification', 'editor' => 'Friedrich Bauer and Wilfried Brauer and Helmut Schwichtenberg', 'key' => 'Milner:91', 'publisher' => 'Springer-Verlag, NATO ASI Series, Berlin', 'title' => 'The Polyadic $\\pi$-Calculus: A Tutorial', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'author' => 'Milner, Robin', 'journal' => 'Communications of the ACM', 'key' => 'Milner:93', 'month' => 'jan', 'number' => '1', 'pages' => '78-89', 'title' => 'Elements of Interaction (Turing Award Lecture)', 'type' => 'article', 'volume' => '36', 'year' => '1993', ) array ( 'author' => 'Milner, Robin', 'journal' => 'Communication of the ACM', 'key' => 'Milner:93a', 'month' => 'jan', 'number' => '1', 'optnote' => 'Nach Artikel - Elements of Interaction Turing Award Lecture', 'pages' => '90-97', 'title' => 'An Interview with Robin Milner', 'type' => 'article', 'volume' => '36', 'year' => '1993', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Marvin L. Minsky', 'institution' => 'Project MAC, MIT', 'key' => 'Minsky1963', 'number' => '58 (rev.)', 'title' => 'A Lisp garbage collector algorithm using serial secondary storage', 'type' => 'techreport', 'year' => '1963', ) array ( 'author' => 'Kazunori Ueda and Masao Morita', 'journal' => 'New Generation Computing', 'key' => 'ModedFlat', 'number' => '1', 'pages' => '3--43', 'title' => 'Moded Flat GHC and Its Message-Oriented Implementation Technique', 'type' => 'article', 'volume' => '13', 'year' => '1994', ) array ( 'address' => 'Portland, Oregon', 'author' => 'David Moon', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Norman Meyrowitz', 'key' => 'Moon:86', 'month' => 'sep', 'pages' => '1--8', 'publisher' => 'ACM SIGPLAN Notices 21(11)', 'title' => 'Object-Oriented Programming with Flavors', 'type' => 'InProceedings', 'year' => '1986', ) array ( 'address' => 'Reading, MA', 'author' => 'Chris Moss', 'key' => 'Moss94', 'publisher' => 'Addison-Wesley', 'series' => 'International Series in Logic Programming', 'title' => 'Prolog++. The Power of Object-Oriented and Logic Programming', 'type' => 'BOOK', 'year' => '1994', ) array ( 'howpublished' => 'Documentation and system available via WWW from \\mbox\\tt http://www.mozart-oz.org', 'key' => 'Mozart', 'title' => 'Mozart Consortium. The Mozart Programming System', 'type' => 'Booklet', 'year' => '1999', ) array ( 'address' => 'Edinburgh, Scotland', 'author' => 'Martin Müller and Joachim Niehren', 'booktitle' => 'Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing', 'key' => 'Mueller:CLNLP:95', 'month' => 'apr 3--5', 'note' => 'The orginal workshop version was titled: Weak Subsumption Constraints for Type Diagnosis: An Incremental Algorithm.', 'title' => 'A Type is a Type is a Type', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'author' => 'Martin Müller', 'booktitle' => '8$^th$ International Workshop on Unification', 'editor' => 'Denis Lugiez', 'key' => 'Mueller:Unif94', 'month' => 'jun 23--25', 'note' => 'Technical Report, Université de Nancy, to appear', 'title' => 'A Constraint-Based Recast of ML-Polymorphism', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Technische Universität München', 'author' => 'T. Müller and M. Müller', 'booktitle' => '13. Workshop Logische Programmierung', 'editor' => 'François Bry and Burkhard Freitag and Dietmar Seipel', 'key' => 'MuellerMueller:97a', 'month' => '17--19 sep', 'pages' => '104--115', 'title' => 'Finite Set Constraints in Oz', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Portland, Oregon', 'author' => 'Martin Müller and Tobias Müller and Van Roy, Peter', 'booktitle' => 'Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog', 'editor' => 'Donald Smith and Olivier Ridoux and Van Roy, Peter', 'key' => 'MuellerMuellerVanroy:Visions:95', 'month' => '7 dec', 'note' => 'A Workshop in Association with ILPS\'95', 'title' => 'Multi-Paradigm Programming in Oz', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Manila, The Philippines', 'author' => 'Martin Müller and Susumu Nishimura', 'booktitle' => 'Asian Computer Science Conference (ASIAN 98)', 'editors' => 'Jieh Hsiang and Atsushi Ohori', 'key' => 'MuellerNishimura:98', 'month' => 'December', 'title' => 'Type Inference for First-Class Messages with Feature Constraints', 'type' => 'InProceedings', 'year' => '1998', ) array ( 'address' => 'Technische Universität Wien', 'author' => 'Tobias Müller and Jörg Würtz', 'booktitle' => '11. Workshop Logische Programmierung', 'editor' => 'Andreas Krall and Ulrich Geske', 'key' => 'MuellerWuertz:95a', 'month' => '27--29 sep', 'publisher' => 'GMD--Forschungszentrum Informationstechnik GmbH, D-53754 Sankt Augustin', 'series' => 'GMD-Studien', 'title' => 'Constructive Disjunction in Oz', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Long Island, NY, USA', 'author' => 'Tobias Müller and Jörg Würtz', 'booktitle' => 'Logic Programming: Proceedings of the 1997 International Symposium', 'editor' => 'Jan Ma\\luszyński', 'key' => 'MuellerWuertz:97a', 'pages' => '149--163', 'publisher' => 'The MIT Press', 'title' => 'Extending a Concurrent Constraint Language by Propagators', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Institut Dalle Molle d\'Intelligence Artificielle Perceptive, Martigny, Switzerland', 'author' => 'Martin Henz and Martin Müller and Markus Wolf', 'booktitle' => 'WOz\'95, International Workshop on Oz Programming', 'key' => 'Munchkins:WOz:95', 'month' => '29 November--1 December', 'title' => 'Munchkins: A Shell for Distributed Multi-User Games', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Vancouver, Canada', 'author' => 'Myers, Brad and Giuse, Dario and Vander Zanden, Brad', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Andreas Paepcke', 'key' => 'Myers_92', 'pages' => '184--200', 'publisher' => 'The ACM Press, New York', 'title' => 'Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'address' => 'Pittsburgh, PA', 'author' => 'Guy Blelloch and Jonathan Hardwick and Jay Sipelstein and Marco Zagha', 'institution' => 'Carnegie Mellon University', 'key' => 'NESL', 'number' => 'CMU-CS-95-169', 'title' => 'NESL User\'s Manual, Version 3.1', 'type' => 'TechReport', 'year' => '1995', ) array ( 'address' => 'Tokyo, Japan', 'author' => 'Seif Haridi and Peter Van Roy and Per Brand and Christian Schulte', 'journal' => 'New Generation Computing', 'key' => 'NGC:98', 'number' => '3', 'pages' => '223--261', 'publisher' => 'Omsha, Ltd. and Springer-Verlag', 'title' => 'Programming Languages for Distributed Applications', 'type' => 'Article', 'volume' => '16', 'year' => '1998', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Joachim Niehren and Andreas Podelski and Ralf Treinen', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'NPT:InfiniteMembership93rep', 'month' => 'apr', 'note' => 'Short version appeared in the 1993 \\em Conference on Rewriting Techniques and Applications, \\citeNiehrenRTA-93', 'number' => 'RR-93-14', 'title' => 'Equational and Membership Constraints for Infinite Trees', 'type' => 'Research Report', 'year' => '1993', ) array ( 'address' => 'Toronto', 'author' => 'George L. Nemhauser and Michael A. Trick', 'booktitle' => 'Second International Conference on the Practice and Theory of Automated Timetabling', 'key' => 'NT97', 'title' => 'Scheduling a Major College Basketball Conference', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'George L. Nemhauser and Michael A. Trick', 'journal' => 'Operations Research', 'key' => 'NT98', 'number' => '1', 'pages' => '1--8', 'title' => 'Scheduling a Major College Basketball Conference', 'type' => 'Article', 'volume' => '46', 'year' => '1998', ) array ( 'address' => 'San Diego, CA', 'author' => 'R. Nakano and T. Yamada', 'booktitle' => 'Proc.\\ of the Fourth International Conference on Genetic Algorithms', 'key' => 'Nakano:91', 'keywords' => '', 'pages' => '474-479', 'title' => 'Conventional Genetic Algorithm for Job Shop Problems', 'type' => 'InProceedings', 'year' => '1991', ) array ( 'author' => 'Peter Naur and others', 'journal' => 'Communications of the ACM', 'key' => 'Naur63', 'number' => '1', 'pages' => '1--20', 'title' => 'Revised Report on the Algorithmic Language ALGOL 60', 'type' => 'article', 'volume' => '6', 'year' => '1963', ) array ( 'author' => 'Bernhard Nebel and Gert Smolka', 'booktitle' => 'Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence', 'editor' => 'O. Herzog and C.-R. Rollinger', 'key' => 'NebelSmolka91', 'pages' => '439--452', 'publisher' => 'Springer-Verlag', 'series' => 'Lectures Notes in Artificial Intelligence, vol. 546', 'title' => 'Attributive Description Formalisms ... and the Rest of the World', 'type' => 'incollection', 'year' => '1991', ) array ( 'address' => 'New York', 'author' => 'G. Nemhauser and L. Wolsey', 'key' => 'Nemhauser88', 'publisher' => 'John Wiley & Sons', 'title' => 'Integer and Combinatorial Optimization', 'type' => 'book', 'year' => '1988', ) array ( 'address' => 'Institut Dalle Molle d\'Intelligence Artificielle Perceptive, Martigny, Switzerland', 'author' => 'Tobias Müller', 'booktitle' => 'WOz\'95, International Workshop on Oz Programming', 'key' => 'NewConstraintSystems:WOz:95', 'month' => '29 November--1 December', 'title' => 'Adding Constraint Systems to DFKI Oz', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'author' => 'Niehren, Joachim', 'key' => 'NiehrenDiss', 'month' => 'dec', 'note' => 'In German', 'publisher' => 'Doctoral Dissertation. Universität des Saarlandes, Technische Fakultät, 66041 Saarbrücken, Germany', 'title' => 'Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen', 'type' => 'book', 'year' => '1994', ) array ( 'address' => 'Pathumthani, Thailand', 'author' => 'Niehren, Joachim and Müller, Martin', 'booktitle' => 'Asian Computing Science Conference', 'editor' => 'Kanchanasut, Kanchana and Lévy, Jean-Jaques', 'key' => 'NiehrenMueller:Free', 'month' => 'dec 11--13', 'note' => 'a preliminary version appeared in \\em First International Workshop on Concurrent Constraint Programming, Venice, Italy, 29--31 May 1995, \\citeConstraintsFree:95', 'pages' => '171--186', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science', 'title' => 'Constraints for Free in Concurrent Computation', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'annote' => 'St. Petersburg Beach, Florida', 'author' => 'Niehren, Joachim', 'booktitle' => '$23^th$ Proceedings of the ACM Symposium on Principles of Programming Languages', 'directory' => 'ProgrammingSysLab', 'filename' => 'POPL96.dvi.Z, POPL96.ps.Z', 'key' => 'NiehrenPopl:96', 'month' => '21--24jan', 'note' => 'longer version appeared as DFKI Research Report RR-95-14', 'pages' => '333--343', 'publisher' => 'The ACM Press', 'title' => 'Functional Computation as Concurrent Computation', 'type' => 'inproceedings', 'year' => '1996', ) array ( 'address' => 'Montreal, Canada', 'author' => 'Joachim Niehren and Andreas Podelski and Ralf Treinen', 'booktitle' => '5th International Conference on Rewriting Techniques and Applications', 'editor' => 'Kirchner, Claude', 'key' => 'NiehrenRTA-93', 'month' => '16--18 jun', 'pages' => '106-120', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 690', 'title' => 'Equational and Membership Constraints for Infinite Trees', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'author' => 'F. Nielson', 'key' => 'Nielson_84', 'note' => 'Available as computer science report CST-31-84', 'optnote' => '1608', 'school' => 'Edinburgh University', 'title' => 'Abstract Interpretation using domain theory', 'type' => 'phdthesis', 'year' => '1984', ) array ( 'author' => 'O. M. Nierstrasz and J. Mooney and K.J. Twaites', 'booktitle' => 'Proceedings of the CIPS Conference', 'key' => 'Nierstrasz:83', 'pages' => '65-73', 'title' => 'Using Objects to Implement Office Procedures', 'type' => 'InProceedings', 'year' => '1983', ) array ( 'address' => 'Reading, MA', 'author' => 'Oscar Nierstrasz', 'booktitle' => 'Object-Oriented Concepts, Databases, and Applications', 'editor' => 'Won Kim and Frederick Lochovsky', 'key' => 'Nierstrasz:89', 'pages' => '3--21', 'publisher' => 'Addison-Wesley', 'title' => 'A Survey of Object-Oriented Concepts', 'type' => 'incollection', 'year' => '1989', ) array ( 'author' => 'E. Nowicki and C. Smutnicki', 'journal' => 'Management Science', 'key' => 'Nowicki:96', 'number' => '6', 'pages' => '797-813', 'title' => 'A Fast Taboo Search Algorithm for the Job Shop Problem', 'type' => 'Article', 'volume' => '42', 'year' => '1996', ) array ( 'author' => 'Wim Nuijten and Claude Le Pape', 'journal' => 'Journal of Heuristics', 'key' => 'Nuijten:98', 'pages' => '271--286', 'publisher' => 'Kluwer Academic Publishers', 'title' => 'Constraint-Based Job Shop Scheduling with ILOG SCHEDULER', 'type' => 'Article', 'volume' => '3', 'year' => '1998', ) array ( 'address' => 'Orlando, FL', 'author' => 'Ungar, David and Smith, Randall B.', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Norman Meyrowitz', 'key' => 'OOPSLA87*227', 'pages' => '227--242', 'publisher' => 'The ACM Press, New York', 'title' => 'Self: The Power of Simplicity', 'type' => 'INPROCEEDINGS', 'year' => '1987', ) array ( 'address' => 'Mountain View, CA 94043, USA, \\tt http://www.ilog.com', 'key' => 'OPLStudio', 'organization' => 'ILOG Inc.', 'title' => 'OPL Studio User Manual', 'type' => 'Manual', 'year' => '1999', ) array ( 'address' => 'Palo Alto, CA', 'author' => 'Cardelli, Luca', 'institution' => 'Digital Equipment Corporation, Systems Research Center', 'key' => 'Obliq:Report:94', 'month' => 'jun', 'number' => '122', 'title' => 'Obliq: A Language with Distributed Scope', 'type' => 'techreport', 'year' => '1994', ) array ( 'author' => 'John K. Outerhout', 'howpublished' => 'Draft somewhere on the web', 'key' => 'OusterhoutScripting', 'month' => 'mar', 'title' => 'Scripting: Higher Level Programming for the 21st Century', 'type' => 'Misc', 'year' => '1997', ) array ( 'address' => 'Institut Dalle Molle d\'Intelligence Artificielle Perceptive, Martigny, Switzerland', 'author' => 'Kai Ibach', 'booktitle' => 'WOz\'95, International Workshop on Oz Programming', 'key' => 'OzFun:WOz:95', 'month' => '29 November--1 December', 'title' => 'OzFun: A Functional Language for Mixed Eager and Lazy Programming', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => '', 'author' => 'Jean-François Puget and Michel Leconte', 'booktitle' => 'Proceedings of the International Symposium on Logic Programming', 'key' => 'PL:95', 'pages' => '513--527', 'title' => 'Beyond the Glass Box: Constraints as Objects', 'type' => 'inproceedings', 'year' => '1995', ) array ( 'address' => 'New York', 'author' => 'Jens Palsberg and Michael Schwartzbach', 'key' => 'PalsbergSchwartzbach:94', 'publisher' => 'John Wiley & Sons', 'title' => 'Object-Oriented Type Systems', 'type' => 'Book', 'year' => '1994', ) array ( 'author' => 'Roland H.C. Yap', 'howpublished' => 'draft', 'key' => 'ParametricSequence98', 'title' => 'Parametric Sequence Alignment with Constraints', 'type' => 'Misc', 'year' => '1998', ) array ( 'address' => 'Maui, Hawaii, USA', 'author' => 'Seif Haridi and Peter Van Roy and Gert Smolka', 'booktitle' => 'Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO \'97)', 'key' => 'Pasco:97', 'month' => 'jul', 'pages' => '176-187', 'publisher' => 'ACM Press', 'title' => 'An Overview of the Design of Distributed Oz', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Cambridge', 'author' => 'Lawrence C. Paulson', 'edition' => 'Second', 'key' => 'Paulson96', 'publisher' => 'Cambridge University Press', 'title' => 'ML for the Working Programmer', 'type' => 'book', 'year' => '1996', ) array ( 'author' => 'Claus Pedersen', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Norman Meyrowitz', 'key' => 'Pedersen:89', 'pages' => '407--418', 'publisher' => 'The ACM Press, New York', 'title' => 'Extending Ordinary Inheritance Schemes to Include Generalization', 'type' => 'INPROCEEDINGS', 'year' => '1989', ) array ( 'address' => 'Alexandria, VA, USA', 'author' => 'Laurent Perron', 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Joxan Jaffar', 'key' => 'Perron99', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Search Procedures and Paralleism in Constraint Programming', 'type' => 'inproceedings', 'year' => '1999', ) array ( 'author' => 'Gilles Pesant and Michel Gendreau and Jean-Yves Potvin and Jean-Marc Rousseau', 'journal' => 'Transportation Science', 'key' => 'Pesant:98', 'number' => '1', 'pages' => '12-29', 'title' => 'An Exact Constraint Logic Programming for the Traveling Salesman Problem with Time Windows', 'type' => 'article', 'volume' => '32', 'year' => '1998', ) array ( 'address' => 'Berlin', 'editor' => 'Andreas Podelski', 'key' => 'Podelski95', 'month' => 'mar', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science', 'title' => 'Constraint Programming: Basics and Trends', 'type' => 'Book', 'volume' => '910', 'year' => '1995', ) array ( 'author' => 'Konstantin Popov', 'howpublished' => 'Doctoral Dissertation, Universität des Saarlandes, Fachbereich Informatik, Im Stadtwald, 66041 Saarbrücken, Germany', 'key' => 'PopovDiss', 'note' => 'In preparation', 'title' => '\\it Exploiting Thread-Level Concurrency for Parallelism in a Constraint Language', 'type' => 'Misc', 'year' => '1997', ) array ( 'author' => 'Dick Pountain', 'journal' => 'BYTE', 'key' => 'PountainFP', 'month' => 'aug', 'pages' => '183--184', 'title' => 'Functional Programming Comes of Age', 'type' => 'Article', 'year' => '1994', ) array ( 'address' => 'Alexandria, Virginia, USA', 'author' => 'Nicolas Prcovic and Betrand Neveu', 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Joxan Jaffar', 'key' => 'PrcovicNeveu99', 'month' => 'oct', 'pages' => '361--374', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Ensuring a Relevant Visiting Order of the Leaf Nodes During a Tree Search', 'type' => 'INPROCEEDINGS', 'year' => '1999', ) array ( 'author' => 'Alain Colmerauer and Henri Kanoui and Michel Van Caneghem', 'journal' => 'Technology and Science of Informatics', 'key' => 'PrologII', 'number' => '4', 'pages' => '255--292', 'title' => 'Prolog, Theoretical Principles and Current Trends', 'type' => 'article', 'volume' => '2', 'year' => '1983', ) array ( 'address' => 'Cambridge', 'author' => 'Pierre Roy and François Pachet', 'booktitle' => '15th Annual Conference of the British Computer Specialist Group on Expert Systems', 'editor' => 'Bramer, M. A. and Nealon, J. L. and Milne, R.', 'key' => 'RP95', 'pages' => '11--22', 'publisher' => 'SGES Publications', 'title' => 'Integrating Constraint Satisfaction Techniques with Complex Object Structures', 'type' => 'inproceedings', 'year' => '1995', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Jürgen Müller and Jörg Müller and Markus Pischel and Ralf Scheidhauer', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'RR-92-04', 'month' => 'jun', 'number' => 'RR-92-04', 'title' => 'On the Representation of Temporal Knowledge', 'type' => 'Research Report', 'year' => '1992', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Hassan A\\"\\it-Kaci and Andreas Podelski and Gert Smolka', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'RR-92-17', 'month' => 'mar', 'note' => 'Appeared in the 1992 \\em Conference on Fifth Generation Computer Systems, \\citeFT-FGC92, and in \\em Theoretical Computer Science, \\citeFT-tcs.', 'number' => 'RR-92-17', 'title' => 'A Feature-based Constraint System for Logic Programming with Entailment', 'type' => 'Research Report', 'year' => '1992', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Gert Smolka and Martin Henz and Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'RR-93-16', 'month' => 'apr', 'number' => 'RR-93-16', 'title' => 'Object-Oriented Concurrent Constraint Programming in Oz', 'type' => 'Research Report', 'year' => '1993', ) array ( 'address' => 'New York', 'edition' => 'Third', 'editor' => 'Anthony Ralston and Edwin Reilly', 'key' => 'RalstonReilly93', 'publisher' => 'Van Nostrand Reinhold', 'title' => 'Encyclopedia of Computer Science', 'type' => 'BOOK', 'year' => '1993', ) array ( 'author' => 'John Ioannidis', 'howpublished' => 'Draft somewhere on the web', 'key' => 'RealProgrammers', 'title' => 'Real Programmers Don\'t Use PASCAL', 'type' => 'Misc', ) array ( 'author' => 'Gert Smolka and Ralf Treinen', 'journal' => 'Journal of Logic Programming', 'key' => 'RecordsLogProg-jlp', 'month' => 'apr', 'number' => '3', 'pages' => '229--258', 'title' => 'Records for Logic Programming', 'type' => 'Article', 'volume' => '18', 'year' => '1994', ) array ( 'address' => 'Schloss Hagenberg, Linz, Austria', 'author' => 'Jean-Charles Régin and Jean-François Puget', 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'Regin:97', 'month' => 'oct/nov', 'pages' => '32--46', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'A Filtering Algorithm for Global Sequencing Constraints', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Alexandria, VA, USA', 'author' => 'Jean-Charles Régin', 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Joxan Jaffar', 'key' => 'ReginCardinality99', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Arc Consistency for Global Cardinality Constraints with costs', 'type' => 'inproceedings', 'year' => '1999', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Jean-Charles Régin', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Thomas Dean', 'key' => 'ReginSymmetric99', 'month' => 'aug', 'pages' => '420--425', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'The Symmetric Alldiff Constraint', 'type' => 'InProceedings', 'volume' => '1', 'year' => '1999', ) array ( 'author' => 'Gerhard Reinelt', 'key' => 'Reinelt:94', 'publisher' => 'Springer-Verlag', 'title' => 'The Traveling Salesman: Computational Solutions for TSP Application', 'type' => 'book', 'year' => '1994', ) array ( 'address' => 'Aspenäs, Sweden', 'author' => 'Keith Clark and Steve Gregory', 'booktitle' => 'Symposium on Functional Languages and Computer Architecture', 'key' => 'RelationalLanguage', 'pages' => '171--178', 'publisher' => 'University of Göteborg', 'title' => 'A Relational Language for Parallel Programming', 'type' => 'inproceedings', 'year' => '1981', ) array ( 'address' => 'Paris', 'author' => 'Didier Rémy and Jérôme Vouillon', 'booktitle' => 'Proceedings of the ACM Symposium on Principles of Programming Languages', 'key' => 'Remy', 'month' => 'jan', 'pages' => '40--53', 'publisher' => 'The ACM Press, New York', 'title' => 'Objective ML: A Simple Object-Oriented Extension of ML', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'Tim Rentsch', 'journal' => 'SIGPLAN Notices', 'key' => 'Rentsch:82', 'number' => '12', 'pages' => '51', 'title' => 'Object-Oriented Programming', 'type' => 'Article', 'volume' => '17', 'year' => '1982', ) array ( 'address' => 'Toronto, Canada', 'author' => 'John Reppy', 'booktitle' => 'Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation', 'key' => 'Reppy:91', 'pages' => '293--303', 'publisher' => 'The ACM Press, New York', 'title' => 'CML: A Higher-Order Concurrent Language', 'type' => 'InProceedings', 'year' => '1991', ) array ( 'address' => 'Cambridge, Mass.', 'author' => 'Gert Smolka', 'booktitle' => 'Constraint Logic Programming: Selected Research', 'chapter' => '22', 'editor' => 'Frédéric Benhamou and Alain Colmerauer', 'key' => 'ResiduationBook', 'pages' => '405--419', 'publisher' => 'The MIT Press', 'title' => 'Residuation and Guarded Rules for Constraint Logic Programming', 'type' => 'incollection', 'year' => '1993', ) array ( 'address' => 'München, Germany', 'author' => 'Joachim Niehren and Gert Smolka', 'booktitle' => '1$^st$ International Conference on Constraints in Computational Logics', 'editor' => 'Jean-Pierre Jouannaud', 'key' => 'RhoCalc:94', 'month' => 'sep', 'pages' => '89--104', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  845', 'title' => 'A Confluent Relational Calculus for Higher-Order Programming with Constraints', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'London', 'author' => 'Tom Richards and Barry Richards', 'institution' => 'IC-Parc', 'key' => 'Richards96', 'note' => 'appeared in Proceedings CP 96 Workshop on Constraint Programming Application', 'title' => 'Nogood learning for constraint satisfaction', 'type' => 'techreport', 'year' => '1996', ) array ( 'author' => 'J. A. Robinson', 'journal' => 'Journal of the ACM', 'key' => 'Robinson65', 'month' => 'jan', 'number' => '1', 'title' => 'A Machine-Oriented Logic Based on the Resolution Principle', 'type' => 'Article', 'volume' => '12', 'year' => '1965', ) array ( 'address' => 'London', 'author' => 'Robert Rodosek and Mark Wallace and Mozafian Hajian', 'institution' => 'IC-Parc', 'key' => 'Rodosek97', 'optnote' => 'two-store approach to mixing integer and constraint programming', 'title' => 'A new approach to integrating mixed integer programming with constraint logic programming', 'type' => 'techreport', 'year' => '1997', ) array ( 'author' => 'R. Rodosek and M.G. Wallace and M.T. Haijan', 'booktitle' => 'Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)', 'key' => 'RodosekWallaceHaijan:96', 'title' => 'A new approach to integrate mixed integer programming with CLP', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'Andreas Rossberg and Gert Smolka', 'howpublished' => 'unpublished', 'key' => 'RossbergSmolka', 'title' => 'Objects for DML', 'type' => 'Misc', ) array ( 'author' => 'Catherine Roucairol', 'journal' => 'Discrete Applied Mathematics', 'key' => 'Roucairol', 'pages' => '211--225', 'title' => 'A Parallel Branch and Bound Algorithm for the Quadratic Assignment Problem', 'type' => 'Article', 'volume' => '18', 'year' => '1987', ) array ( 'author' => 'K. G. Russell', 'journal' => 'Biometrika', 'key' => 'Russell80', 'number' => '1', 'pages' => '127--131', 'title' => 'Balancing carry-over effects in round robin tournaments', 'type' => 'article', 'volume' => '67', 'year' => '1980', ) array ( 'author' => 'Robert A. Russell and Janny M. Y. Leung', 'journal' => 'Operations Research', 'key' => 'Russell94', 'number' => '4', 'optnote' => 'league divided in divisions. travel cost and various other constraints are considered.', 'pages' => '614--625', 'title' => 'Devising a Cost Effective Schedule for a Baseball League', 'type' => 'Article', 'volume' => '42', 'year' => '1994', ) array ( 'address' => 'Brighton, UK', 'author' => 'Barbara M. Smith and Stuart A. Grant', 'booktitle' => 'Proceedings of the European Conference on Artificial Intelligence', 'editor' => 'Henri Prade', 'key' => 'SG98', 'month' => 'aug', 'pages' => '249--253', 'publisher' => 'Wiley', 'title' => 'Trying Harder to Fail First', 'type' => 'InProceedings', 'year' => '1998', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Martin Henz and Gert Smolka and Jörg Würtz', 'booktitle' => 'Principles and Practice of Constraint Programming', 'chapter' => '2', 'editor' => 'Vijay Saraswat and Pascal Van Hentenryck', 'key' => 'SHW:OOCC94Book', 'pages' => '29--48', 'publisher' => 'The MIT Press', 'title' => 'Object-oriented Concurrent Constraint Programming in Oz', 'type' => 'InCollection', 'year' => '1995', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Gert Smolka and Martin Henz and Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'SHW:OOCCprogrammingOz93', 'month' => 'apr', 'note' => 'appeared in \\em Principles and Practice of Constraint Programming, see Section Books and Book Chapters', 'number' => 'RR-93-16', 'title' => 'Object-Oriented Concurrent Constraint Programming in Oz', 'type' => 'Research Report', 'year' => '1993', ) array ( 'address' => 'Blanes, Spain', 'author' => 'Gert Smolka and Martin Henz and Jörg Würtz', 'booktitle' => 'Programación Declarativa', 'editor' => 'Jaume August\\\'\\i and Pere Garcia', 'key' => 'SHW:Oz93ProDe', 'month' => '30 September--1 October', 'note' => 'appeared in \\em Principles and Practice of Constraint Programming, see Section Books and Book Chapters', 'pages' => '5--20', 'title' => 'Object-Oriented Concurrent Constraint Programming in Oz', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'address' => 'PO Box 1263, 164 28 Kista, Sweden', 'key' => 'SICS', 'month' => 'oct', 'organization' => 'Intelligent Systems Laboratory, SICS', 'title' => 'SICStus Prolog User\'s Manual, Release 3 \\5', 'type' => 'Manual', 'year' => '1996', ) array ( 'address' => 'San Jose, CA', 'author' => 'J. P. Marques-Silva and K. A. Sakallah', 'booktitle' => 'Proceedings of the International Conference on Computer-Aided Design', 'key' => 'SK96', 'month' => 'Nov', 'title' => 'GRASP -- A New Search Algorithm for Satisfiability', 'type' => 'inproceedings', 'year' => '1996', ) array ( 'author' => 'Alexander Stepanov and Meng Lee', 'key' => 'SL:1995', 'note' => 'STL has since been incorporated into the C++ standard, ISO/IEC 14882-1998', 'organization' => 'Hewlett Packard', 'title' => 'The Standard Template Library', 'type' => 'manual', 'year' => '1995', ) array ( 'address' => 'San Diego, USA', 'booktitle' => 'Logic Programming, Proceedings of the 1991 International Symposium', 'editor' => 'Saraswat, Vijay and Ueda, Kazunori', 'key' => 'SLP91', 'publisher' => 'The MIT Press', 'title' => 'Logic Programming, Proceedings of the 1991 International Symposium', 'type' => 'Proceedings', 'year' => '1991', ) array ( 'address' => 'Ithaca, New York, USA', 'author' => 'Christian Schulte and Gert Smolka', 'booktitle' => 'Logic Programming: Proceedings of the 1994 International Symposium', 'editor' => 'Maurice Bruynooghe', 'key' => 'SS:ilps94', 'month' => '13--17 nov', 'pages' => '505--520', 'publisher' => 'The MIT Press', 'title' => 'Encapsulated Search in Higher-order Concurrent Constraint Programming', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Christian Schulte and Gert Smolka and Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'SSW:RR-94-20', 'month' => 'aug', 'note' => 'Also in: \\em Proceedings of Second Workshop on Principles and Practice of Constraint Programming, Springer-Verlag, LNCS 874, Orcas Island, Washington, USA, 1994, \\citeSSW:ppcp94', 'number' => 'RR-94-20', 'title' => 'Encapsulated Search and Constraint Programming in Oz', 'type' => 'Research Report', 'year' => '1994', ) array ( 'address' => 'Orcas Island, Washington, USA', 'author' => 'Christian Schulte and Gert Smolka and Jörg Würtz', 'booktitle' => 'Second Workshop on Principles and Practice of Constraint Programming', 'editor' => 'A.H. Borning', 'key' => 'SSW:ppcp94', 'month' => '2-4 may', 'pages' => '134--150', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 874', 'title' => 'Encapsulated Search and Constraint Programming in Oz', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'Gert Smolka and Ralf Treinen', 'journal' => 'Journal of Logic Programming', 'key' => 'ST:RecordsLogProg-jlp', 'month' => 'apr', 'number' => '3', 'pages' => '229--258', 'title' => 'Records for Logic Programming', 'type' => 'Article', 'volume' => '18', 'year' => '1994', ) array ( 'address' => 'Washington D.C., USA', 'author' => 'Gert Smolka and Ralf Treinen', 'booktitle' => 'Proceedings of the Joint International Conference and Symposium on Logic Programming', 'editor' => 'Apt, Krzysztof', 'key' => 'ST:RecordsLogProg92', 'month' => '9--12 nov', 'note' => 'Extended version in \\em Journal of Logic Programming, \\citeST:RecordsLogProg-jlp.', 'pages' => '240--254', 'publisher' => 'The MIT Press', 'title' => 'Records for Logic Programming', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Gert Smolka and Ralf Treinen', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ST:RecordsLogProg92rep', 'month' => 'aug', 'note' => 'Short version appeared in the 1992 Joint International Conference and Symposium on Logic Programming, \\citeST:RecordsLogProg92. Also in \\em Journal of Logic Programming, \\citeST:RecordsLogProg-jlp.', 'number' => 'RR-92-23', 'title' => 'Records for Logic Programming', 'type' => 'Research Report', 'year' => '1992', ) array ( 'author' => 'Mihaela Sabin and Robert D. Russell and Eugene C. Freuder', 'booktitle' => 'Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)', 'key' => 'Sabin:96', 'optnote' => 'network management as a CSP', 'title' => 'Constraint-Based Modeling: From Diagnosis and Configuration to Network Management', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'Berlin', 'author' => 'Johannes Sametinger', 'key' => 'Sametinger97', 'publisher' => 'Springer-Verlag', 'title' => 'Software Engineering with Reusable Components', 'type' => 'book', 'year' => '1997', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Vijay Saraswat', 'key' => 'SaraswatDiss', 'publisher' => 'The MIT Press', 'title' => 'Concurrent Constraint Programming', 'type' => 'book', 'year' => '1993', ) array ( 'address' => 'Pittsburgh', 'author' => 'Vijay A. Saraswat', 'key' => 'SaraswatThesis', 'school' => 'School of Computer Science, Carnegie-Mellon University', 'title' => 'Concurrent Constraint Programming Languages', 'type' => 'phdthesis', 'year' => '1989', ) array ( 'address' => 'Budapest, Hungary', 'author' => 'Andrea Schaerf', 'booktitle' => 'Proceedings of the European Conference on Artificial Intelligence', 'key' => 'Scha96c', 'pages' => '634--639', 'publisher' => 'John Wiley & Sons', 'title' => 'Scheduling Sport Tournaments using Constraint Logic Programming', 'type' => 'Conference', 'year' => '1996', ) array ( 'author' => 'Andrea Schaerf', 'journal' => 'Constraints', 'key' => 'Scha99', 'number' => '1', 'pages' => '43--65', 'title' => 'Scheduling Sport Tournaments using Constraint Logic Programming', 'type' => 'article', 'volume' => '4', 'year' => '1999', ) array ( 'author' => 'Ralf Scheidhauer and Michael Mehl', 'booktitle' => 'Sprachen für KI-Anwendungen, Konzepte -- Methoden -- Implementierungen', 'editor' => 'H. Boley, U. Furbach, W.-M. Lippe (Hrsg.)', 'howpublished' => 'Proceedings des Workshops: Sprachen für KI-Anwendungen: Konzepte -- Methoden -- Implementierungen', 'key' => 'ScheidhauerMehl92', 'month' => 'jul', 'number' => '12/92-I', 'pages' => '102--110', 'publisher' => 'Universität Münster', 'series' => 'Angewandte Mathematik und Informatik, Universität Münster', 'title' => 'HAM - Design einer abstrakten Maschine für eine CCP-Sprache', 'type' => 'inproceedings', 'year' => '1992', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Heinz Schmidt and Stephen Omohundro', 'booktitle' => 'Object-Oriented Programming: The CLOS Perspective', 'editor' => 'Andreas Paepcke', 'key' => 'Schmidt93', 'pages' => '181--213', 'publisher' => 'The MIT Press', 'title' => 'CLOS, Eiffel, and Sather: A Comparison', 'type' => 'InCollection', 'year' => '1993', ) array ( 'address' => 'Belmont, CA', 'author' => 'L. Schrage', 'edition' => 'fifth', 'key' => 'Schrage97', 'publisher' => 'Wadworth Publishing', 'title' => 'Optimization Modeling with LINDO', 'type' => 'book', 'year' => '1997', ) array ( 'author' => 'Jan A. M. Schreuder', 'journal' => 'Discrete Applied Mathematics', 'key' => 'Schreuder92', 'optnote' => 'double round robin, HA pattern, team-to-pattern assignment, game assignment.', 'pages' => '301--312', 'title' => 'Combinatorial Aspects of Construction of Competition Dutch Professional Football Leagues', 'type' => 'Article', 'volume' => '35', 'year' => '1992', ) array ( 'address' => 'Saarbrücken, Germany', 'author' => 'Christian Schulte', 'key' => 'Schulte:PHD:00', 'note' => 'To appear in Lecture Notes in Artificial Intelligence, Springer-Verlag', 'school' => 'Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik', 'title' => 'Programming Constraint Services', 'type' => 'Doctoral dissertation', 'year' => '2000', ) array ( 'author' => 'Ehud Shapiro and Akikazu Takeuchi', 'journal' => 'New Generation Computing', 'key' => 'Shapiro83', 'pages' => '24--48', 'title' => 'Object Oriented Programming in Concurrent Prolog', 'type' => 'article', 'volume' => '1', 'year' => '1983', ) array ( 'author' => 'Ehud Shapiro', 'journal' => 'ACM Computing Surveys', 'key' => 'Shapiro:89', 'month' => 'sep', 'number' => '3', 'pages' => '413--511', 'title' => 'The Family of Concurrent Logic Programming Languages', 'type' => 'article', 'volume' => '21', 'year' => '1989', ) array ( 'address' => 'URL http://www.sics.se/isl/sicstus.html', 'author' => 'Intelligent Systems Laboratory', 'key' => 'SicstusProlog:00', 'organization' => 'SICS Research Report, Swedish Institute of Computer Science', 'title' => 'SICStus Prolog User\'s Manual', 'type' => 'Manual', 'year' => '2000', ) array ( 'author' => 'Helmut Simonis', 'booktitle' => 'Invited Talk at the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)', 'key' => 'Simonis:96', 'optnote' => 'many applications references, especially on CHIP', 'title' => 'A Problem Classification Scheme for Finite Domain Constraint Solving', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'Jeffrey Mark Siskind and David Allen McAllester', 'institution' => 'University of Pennsylvania, Institute fo Research in Cognitive Science', 'key' => 'SiskindMcAllester:93', 'number' => 'IRCS-93-03', 'title' => 'Screamer: A portable efficient implementation of nondeterministic Common Lisp', 'type' => 'Technical Report', 'year' => '1993', ) array ( 'author' => 'J. Slaney and M. Fujita and M. Stickel', 'journal' => 'Computers and Mathematics with Applications', 'key' => 'Slaney:93', 'title' => 'Automated reasoning and exhaustive search: Quasigroup existence problems', 'type' => 'Article', 'year' => '1993', ) array ( 'address' => 'Paris', 'author' => 'Barbara Smith', 'booktitle' => 'Proceedings of the 1996 ILOG Solver and ILOG Scheduler International Users\' Conference', 'key' => 'Smith96', 'month' => 'jul', 'title' => 'Succeed-first or fail-first: A case study in variable and value ordering', 'type' => 'INPROCEEDINGS', 'year' => '1996', ) array ( 'author' => 'Reid Smith', 'journal' => 'IEEE Transactions on Computers', 'key' => 'Smith:80', 'month' => 'dec', 'number' => '12', 'pages' => '1104--1113', 'title' => 'The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver', 'type' => 'Article', 'volume' => 'C-29', 'year' => '1980', ) array ( 'address' => 'Washington, DC', 'author' => 'S. F. Smith and C.-C. Cheng', 'booktitle' => 'Proceedings of the 11th National Conference on Artificial Intelligence', 'key' => 'SmithC93', 'month' => 'jul', 'optnote' => 'very nice paper: looks like the origin of the idea of sequence (path) constraints in scheduling', 'publisher' => 'AAAI Press', 'title' => 'Slack-Based Heuristics for Constraint Satisfaction Scheduling', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'address' => 'Lisbon, Portugal', 'author' => 'Gert Smolka', 'booktitle' => 'Programming Languages and Systems', 'editor' => 'Chris Hankin', 'key' => 'Smolka-Oz-SML-98', 'pages' => '1--11', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1381', 'title' => 'Concurrent Constraint Programming Based on Functional Programming', 'type' => 'InProceedings', 'year' => '1998', ) array ( 'address' => 'München, Germany', 'author' => 'Gert Smolka', 'booktitle' => 'First International Conference on Constraints in Computational Logics', 'editor' => 'Jean-Pierre Jouannaud', 'key' => 'Smolka:CCProg94ccl', 'month' => '7--9 sep', 'pages' => '50--72', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 845', 'title' => 'A Foundation for Higher-order Concurrent Constraint Programming', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Gert Smolka', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'Smolka:CCProg94rep', 'month' => 'jun', 'note' => 'Also in \\em First International Conference on Constraints in Computational Logics, München, Germany, 7--9 September 1994, \\citeSmolka:CCProg94ccl', 'number' => 'RR-94-16', 'title' => 'A Foundation for Higher-order Concurrent Constraint Programming', 'type' => 'Research Report', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Gert Smolka', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'Smolka:OzCalculus', 'month' => 'feb', 'number' => 'RR-94-03', 'title' => 'A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards', 'type' => 'Research Report', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Gert Smolka', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'Smolka:OzKernel:DFKI', 'month' => 'nov', 'note' => 'Appears also in the Oz Documentation Series, \\citeozdoc:kernel', 'number' => 'RR-94-23', 'title' => 'The Definition of Kernel Oz', 'type' => 'Research Report', 'year' => '1994', ) array ( 'author' => 'Gert Smolka', 'booktitle' => 'Constraints: Basics and Trends', 'editor' => 'Andreas Podelski', 'key' => 'Smolka:OzKernel:Springer', 'pages' => '251--292', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 910', 'title' => 'The Definition of Kernel Oz', 'type' => 'InCollection', 'year' => '1995', ) array ( 'author' => 'M. M. Solomon', 'journal' => 'Operations Research', 'key' => 'Solomon:87', 'pages' => '254-265', 'title' => 'Algorithms for the Vehicle Routing and Scheduling Problem with Time Window Constraints', 'type' => 'article', 'volume' => '35', 'year' => '1987', ) array ( 'author' => 'Gadi Solotorevsky and Ehud Gudes', 'booktitle' => 'Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)', 'key' => 'Solotorevsky:96', 'optnote' => 'strange: why is distribution needed?', 'title' => 'Solving a Real-life Nurses Time Tabling and Transportation Problem Using Distributed CSP Techniques', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'Institut Dalle Molle d\'Intelligence Artificielle Perceptive, Martigny, Switzerland', 'author' => 'Christian Schulte', 'booktitle' => 'WOz\'95, International Workshop on Oz Programming', 'key' => 'Solver:WOz:95', 'month' => '29 November--1 December', 'title' => 'Solver---A Search Debugger for Oz', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Institut Dalle Molle d\'Intelligence Artificielle Perceptive, Martigny, Switzerland', 'author' => 'Frank Essig', 'booktitle' => 'WOz\'95, International Workshop on Oz Programming', 'key' => 'Spreadsheets:WOz:95', 'month' => '29 November--1 December', 'title' => 'Extending the Functionality of Spreadsheets using Oz-FD-variables', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'author' => 'Gerald Jay Sussman and Guy Lewis Steele', 'journal' => 'Artificial Intelligence', 'key' => 'Steele80', 'number' => '1', 'pages' => '1--39', 'title' => 'CONSTRAINTS -- A Language for Expressing Almost-Hierachical Descriptions', 'type' => 'article', 'volume' => '14', 'year' => '1980', ) array ( 'author' => 'Guy Steele', 'edition' => 'Second', 'key' => 'Steele:90', 'publisher' => 'Digital Press', 'title' => 'Common LISP: The Language', 'type' => 'book', 'year' => '1990', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Guy Steele', 'institution' => 'Massachusetts Institute of Technology', 'key' => 'Steele:declarative', 'month' => 'nov', 'number' => '379', 'title' => 'Lambda: The Ultimate Declarative', 'type' => 'A.I. Memo No.', 'year' => '1976', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Guy Steele and Gerald Sussman', 'institution' => 'Massachusetts Institute of Technology', 'key' => 'Steele:imperative', 'month' => 'mar', 'number' => '353', 'title' => 'Lambda: The Ultimate Imperative', 'type' => 'A.I. Memo No.', 'year' => '1976', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Kostas Stergiou and Toby Walsh', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Thomas Dean', 'key' => 'Stergiou99', 'month' => 'aug', 'pages' => '414--419', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'The Difference All-Difference Makes', 'type' => 'InProceedings', 'volume' => '1', 'year' => '1999', ) array ( 'author' => 'Kazunori Ueda', 'howpublished' => 'slides', 'key' => 'StrongModingSlides', 'title' => 'Strong Moding in Cuncurrent Logic/Constraint Programming', 'type' => 'Misc', ) array ( 'address' => 'Reading, MA', 'author' => 'Bjarne Stroustrup', 'key' => 'Stroustrup87', 'publisher' => 'Addison-Wesley', 'title' => 'The C++ Programming Language', 'type' => 'book', 'year' => '1987', ) array ( 'address' => 'Reading, MA', 'author' => 'Bjarne Stroustrup', 'edition' => 'Third', 'key' => 'Stroustrup97', 'publisher' => 'Addison-Wesley', 'title' => 'The C++ Programming Language', 'type' => 'book', 'year' => '1997', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Gregory Wilson and Paul Lu', 'key' => 'Stroustrup:96', 'note' => 'Foreword ``A Perspective on Concurrency and C++\'\' by Bjarne Stroustrup', 'publisher' => 'The MIT Press', 'title' => 'Parallel Programming Using C++', 'type' => 'book', 'year' => '1996', ) array ( 'address' => 'Cambridge, UK', 'author' => 'Clemens Szyperski', 'booktitle' => 'Proceedings of the IFIP Tenth World Computing Conference', 'editor' => 'Gary T. Leavens and Murali Sitaraman', 'key' => 'Szyperski2000', 'pages' => '1--20', 'publisher' => 'Cambridge University Press', 'title' => 'Components and the Way Ahead', 'type' => 'incollection', 'year' => '2000', ) array ( 'author' => 'Tarjan, R.E.', 'journal' => 'Journal of the ACM', 'key' => 'TAR:union-find', 'pages' => '215--225', 'title' => 'Effeciency of a good but not linear set union algorithm', 'type' => 'ARTICLE', 'volume' => '1', 'year' => '1975', ) array ( 'author' => 'Per Kreuger', 'howpublished' => 'Presentation Slides', 'key' => 'TUFF97', 'optnote' => 'some good ideas on train scheduling', 'title' => 'The TUFF Train Scheduler', 'type' => 'Misc', 'year' => '1997', ) array ( 'author' => 'Antero Taivalsaari', 'journal' => 'ACM Computing Surveys', 'key' => 'Taivalsaari:96', 'month' => 'sep', 'number' => '3', 'pages' => '438--479', 'title' => 'On the Notion of Inheritance', 'type' => 'article', 'volume' => '28', 'year' => '1996', ) array ( 'address' => 'Tokyo', 'author' => 'Kenjiro Taura', 'key' => 'TauraThesis', 'school' => 'Department of Information Science, University of Tokyo', 'title' => 'Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers', 'type' => 'phdthesis', 'year' => '1997', ) array ( 'author' => 'Laszlo Teleki', 'booktitle' => 'Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)', 'key' => 'Teleki:96', 'optnote' => 'bridge between QR and CP', 'title' => 'Embedding Qualitative Reasoning into Constraint Logic Programming', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'Berlin, Heidelberg', 'author' => 'B. Thomsen and L. Leth and A. Giacalone', 'booktitle' => 'Semantics: Foundations and Applications - Proc.\\ of the REX Workshop', 'editor' => 'J. W. de Bakker and W.-P. de Roever and G. Rozenberg', 'key' => 'Thomsen:93', 'keywords' => '', 'pages' => '563-593', 'publisher' => 'Springer', 'title' => 'Some Issues in the Semantics of Facile Distributed Programming', 'type' => 'incollection', 'year' => '1993', ) array ( 'address' => 'Reading, MA', 'author' => 'Christine Tomlinson and Mark Scheevel', 'booktitle' => 'Object-Oriented Concepts, Databases, and Applications', 'editor' => 'Won Kim and Federick Lochovsky', 'key' => 'Tomlinson:89', 'pages' => '79--124', 'publisher' => 'Addison-Wesley', 'title' => 'Concurrent Object-Oriented Programming Languages', 'type' => 'incollection', 'year' => '1989', ) array ( 'author' => 'Kenneth Kahn', 'journal' => 'Journal of Visual Languages and Computing', 'key' => 'Toontalk:96', 'month' => 'jun', 'publisher' => 'Academic Press', 'title' => 'ToonTalk---An Animated Programming Environment for Children', 'type' => 'ARTICLE', 'year' => '1996', ) array ( 'author' => 'Peter Van Roy and Seif Haridi and Per Brand and Gert Smolka and Michael Mehl and Ralf Scheidhauer', 'journal' => 'ACM Transactions on Programming Languages and Systems', 'key' => 'Toplas:97', 'month' => 'sep', 'number' => '5', 'pages' => '804--851', 'title' => 'Mobile Objects in Distributed Oz', 'type' => 'Article', 'volume' => '19', 'year' => '1997', ) array ( 'address' => 'Institut Dalle Molle d\'Intelligence Artificielle Perceptive, Martigny, Switzerland', 'author' => 'Martin Henz and Stephan Reiter', 'booktitle' => 'WOz\'95, International Workshop on Oz Programming', 'key' => 'Toto:WOz:95', 'month' => '29 November--1 December', 'title' => 'TOTO: TOol for Tracing Objects in Oz', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Gdańsk, Poland', 'author' => 'Ralf Treinen', 'booktitle' => 'Mathematical Foundations of Computer Science', 'editor' => 'Andrzej M. Borzyszkowski and Stefan Soko\\lowski', 'key' => 'Trei:FirstClassFeatures93', 'month' => '30 August--3 September', 'pages' => '734--743', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 711', 'title' => 'Feature Constraints with First-Class Features', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'author' => 'Ralf Treinen', 'journal' => 'Journal of Symbolic Computation', 'key' => 'Trei:undecidability-jsc', 'month' => 'nov', 'note' => 'Previous Version as Report A 09/90, CS Department, Universität des Saarlandes. Short Version in 1990 \\em Foundations of Software Technology and Theoretical Computer Science, LNCS 472', 'number' => '5', 'pages' => '437--457', 'title' => 'A New Method for Undecidability Proofs of First Order Theories', 'type' => 'Article', 'volume' => '14', 'year' => '1992', ) array ( 'author' => 'Ralf Treinen', 'booktitle' => 'Logic, Structures and Syntax', 'editor' => 'Patrick Blackburn and Maarten de Rijke', 'key' => 'Treinen:FTX95', 'note' => 'to appear', 'series' => 'Studies in Logic, Language and Information', 'title' => 'Feature Trees over Arbitrary Structures', 'type' => 'InCollection', 'year' => '1995', ) array ( 'address' => 'Sendai, Japan', 'author' => 'Ralf Treinen', 'booktitle' => 'Theoretical Aspects of Computer Software', 'editor' => 'Takayasu Ito and Albert R. Meyer', 'key' => 'Treinen:tacs91', 'month' => '24--27 sep', 'pages' => '594--614', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 526', 'title' => 'First Order Data Types and First Order Logic', 'type' => 'InProceedings', 'year' => '1991', ) array ( 'address' => 'Konstanz, Germany', 'author' => 'Michael A. Trick', 'booktitle' => 'Third International Conference on the Practice and Theory of Automated Timetabling', 'key' => 'Trick2000', 'title' => 'A Schedule-then-Break Approach to Sports Timetabling', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'author' => 'Michael Trick', 'howpublished' => 'WWW at \\mbox\\tt http://mat.gsia.cmu.edu/acc$\\underline\\ $mod.html', 'key' => 'Trick98', 'title' => 'Modifications to the Problem Description of ``Scheduling a Major College Basketball Conference\'\'', 'type' => 'misc', 'year' => '1998', ) array ( 'author' => 'Arabinda Tripathy', 'journal' => 'Discrete Applied Mathematics', 'key' => 'Tripathy', 'optnote' => 'College timetabling. Assigning times to classes to minimize conflicts.', 'pages' => '313--323', 'title' => 'Computerised Decision Aid for Timetabling---A Case Analysis', 'type' => 'Article', 'volume' => '35', 'year' => '1992', ) array ( 'address' => 'London and San Diego', 'author' => 'Edward P. K. Tsang', 'key' => 'Tsang93', 'publisher' => 'Academic Press', 'title' => 'Foundations of Constraint Satisfaction', 'type' => 'BOOK', 'year' => '1993', ) array ( 'author' => 'Kazunori Ueda', 'booktitle' => 'Parallel Symbolic Languages and Systems: International Workshop PSLS\'95, Beaune, France', 'editor' => 'Takayasu Ito and Robert H. Halstead and Christian Queinnec', 'key' => 'UedaExperiences', 'month' => 'oct', 'pages' => '341--355', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1068', 'title' => 'Experiences with Strong Moding in Concurrent Logic/Constraint Programming', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Reading, MA', 'author' => 'David Ungar and David Patterson', 'booktitle' => 'Smalltalk-80: Bits of History and Words of Advice', 'crossref' => 'Krassner:83', 'editor' => 'Glenn Krassner', 'key' => 'Ungar:83', 'pages' => '189--206', 'publisher' => 'Addison-Wesley', 'title' => 'Berkeley Smalltalk: Who Knows Where the Time Goes?', 'type' => 'InCollection', 'year' => '1983', ) array ( 'address' => 'Cambridge, MA', 'author' => 'David Ungar', 'key' => 'Ungar:86', 'publisher' => 'The MIT Press', 'title' => 'The Design and Evaluation of a High Performance Smalltalk System', 'type' => 'Book', 'year' => '1986', ) array ( 'address' => 'Aachen, Germany', 'author' => 'Peter Van Roy and Michael Mehl and Ralf Scheidhauer', 'booktitle' => 'International Symposium on Programming Languages, Implementations, Logics, and Programs', 'key' => 'VMS:PLILP96', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Integrating Efficient Records into Concurrent Constraint Programming', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'R. J. M. Vaessens and E. H. L. Aarts and J. K. Lenstra', 'journal' => 'INFORMS Journal on Computing', 'key' => 'Vaessens:96', 'number' => '3', 'pages' => '302-317', 'title' => 'Job Shop Scheduling by Local Search', 'type' => 'Article', 'volume' => '8', 'year' => '1996', ) array ( 'author' => 'Van Hentenryck, P.', 'key' => 'VanHentenryck87:lp', 'month' => 'July', 'optnote' => 'only first 3 chapters', 'school' => 'University of Namur (Belgium)', 'title' => 'Consistency Techniques in Logic Programming', 'type' => 'PHDTHESIS', 'year' => '1987', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Pascal Van Hentenryck', 'key' => 'VanHentenryck89', 'publisher' => 'The MIT Press', 'title' => 'Constraint Satisfaction In Logic Programming', 'type' => 'Book', 'year' => '1989', ) array ( 'author' => 'P. Van Hentenryck and Y. Deville', 'institution' => 'Brown University', 'key' => 'VanHentenryck:90a', 'month' => 'November', 'number' => 'CS-90-24', 'title' => 'The Cardinality Operator: A New Logical Connective for Constraint Logic Programming', 'type' => 'Report', 'year' => '1990', ) array ( 'address' => 'Berlin', 'author' => 'Pascal Van Hentenryck and Vijay Saraswat and Yves Deville', 'booktitle' => 'Constraints: Basics and Trends', 'editor' => 'Andreas Podelski', 'key' => 'VanHentenryck:95', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science  910', 'title' => 'Design, Implementation and Evaluation of the Constraint Language cc(FD)', 'type' => 'InCollection', 'year' => '1995', ) array ( 'author' => 'Peter Van Roy', 'journal' => 'Journal of Logic Programming', 'key' => 'VanRoy:SequentialPrologImp', 'title' => '1983-1993: The Wonder Years of Sequential Prolog Implementation', 'type' => 'Article', 'year' => '1994', ) array ( 'address' => 'Sunnyvale, CA', 'key' => 'VisualWorks', 'publisher' => 'Parc\\-Place Systems', 'title' => 'VisualWorks. ObjectWorks Smalltalk User\'s Guide, Release 4.1: Smalltalk---Programming Tools---Application Components', 'type' => 'BOOK', 'year' => '1992', ) array ( 'address' => 'Bologna, Italy', 'author' => 'Jan Vitek and Nigel Horspool', 'booktitle' => 'Proceeedings of the European Conference on Object-Oriented Programming', 'editor' => 'Paolo Ciancarini and Oscar Nierstrasz and Akinori Yonezawa', 'key' => 'Vitek:94', 'pages' => '432--449', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  821', 'title' => 'Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Berlin', 'author' => 'Gert Smolka', 'booktitle' => 'Computer Science Today', 'editor' => 'Jan van Leeuwen', 'key' => 'Vol1000', 'pages' => '324--343', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science  1000', 'title' => 'The Oz Programming Model', 'type' => 'InCollection', 'year' => '1995', ) array ( 'author' => 'Philip Wadler', 'journal' => 'Theoretical Computer Science', 'key' => 'Wadler:90', 'pages' => '231--248', 'title' => 'Deforestation: Transforming Programs to Eliminate Trees', 'type' => 'Article', 'volume' => '73', 'year' => '1990', ) array ( 'address' => 'Dordrecht / Boston / London', 'author' => 'W. D. Wallis', 'key' => 'Wallis97', 'publisher' => 'Kluwer Academic Publishers', 'title' => 'One-Factorizations', 'type' => 'book', 'year' => '1997', ) array ( 'address' => 'Stockholm, Sweden', 'author' => 'Toby Walsh', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Thomas Dean', 'key' => 'Walsh99', 'month' => 'aug', 'pages' => '1172--1177', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Search in a Small World', 'type' => 'InProceedings', 'volume' => '2', 'year' => '1999', ) array ( 'address' => 'Menlo Park, CA', 'author' => 'David H. D. Warren', 'institution' => 'SRI International, Artificial Intelligence Center', 'key' => 'Warren:83', 'month' => 'October', 'number' => '309', 'title' => 'An Abstract Prolog Instruction Set', 'type' => 'Technical Note', 'year' => '1983', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Takuo Watanabe and Akinori Yonezawa', 'booktitle' => 'ABCL: An Object-Oriented Concurrent System', 'editor' => 'Akinori Yonezawa', 'key' => 'Watanabe90', 'pages' => '45--70', 'publisher' => 'The MIT Press', 'title' => 'Reflection in an Object-Oriented Concurrent Language', 'type' => 'incollection', 'year' => '1990', ) array ( 'address' => 'Noordwijkerhout, Netherlands', 'author' => 'Takuo Watanabe and Akinori Yonezawa', 'booktitle' => 'Foundations of Object-Oriented Languages: REX School/Workshop', 'editor' => 'de Bakker, Jacobus and de Roever, Willem and Rozenberg, Grzegorz', 'key' => 'Watanabe_90', 'optnote' => '1608', 'pages' => '405--425', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  489', 'title' => 'An Actor-Based Metalevel Architecture for Group-Wide Reflection', 'type' => 'inproceedings', 'year' => '1991', ) array ( 'address' => 'New York', 'author' => 'Niklaus Wirth', 'booktitle' => 'ACM Turing Award Lectures : The First 20 Years (1966-1985)', 'crossref' => 'AshenhurstGraham87', 'editor' => 'Robert Ashenhurst and Susan Graham', 'key' => 'Wirth:80', 'note' => '1980 Turing Award Lecture', 'publisher' => 'The ACM Press', 'series' => 'Anthology series', 'title' => 'bla', 'type' => 'incollection', 'year' => '1987', ) array ( 'address' => 'Caen, France', 'author' => 'P. Devienne and P. Lebegue and J.C. Routier and J. Würtz', 'booktitle' => '11th Symposium on Theoretical Aspects of Computer Science', 'editor' => 'P. Enjalbert, E.W. Mayr, K.W. Wagner', 'key' => 'Wuertz:stacs94', 'month' => '24--26 feb', 'pages' => '21--32', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science, vol. 775', 'title' => 'One binary Horn clause is enough', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Saarbrücken, Germany', 'author' => 'Jörg Würtz', 'key' => 'WuertzDiss:98', 'month' => 'jan', 'school' => 'Universität des Saarlandes, Fachbereich Informatik', 'title' => 'Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz', 'type' => 'PhdThesis', 'year' => '1998', ) array ( 'author' => 'R. Yang and H. Aiso', 'journal' => 'New Generation Computing', 'key' => 'Yang:87', 'keywords' => '', 'pages' => '79-95', 'title' => 'P-Prolog: A Parallel Logic Language Based on Exclusive Relation', 'type' => 'article', 'volume' => '5', 'year' => '1987', ) array ( 'address' => 'Cambridge, MA', 'editor' => 'Yonezawa, Akinori', 'key' => 'Yonezawa90', 'publisher' => 'The MIT Press', 'series' => 'Series in Computer Systems', 'title' => 'ABCL: An Object-Oriented Concurrent System', 'type' => 'BOOK', 'year' => '1990', ) array ( 'address' => 'Cambridge, MA', 'editor' => 'Akinori Yonezawa and Mario Tokoro', 'key' => 'Yonezawa:OOCP:87', 'publisher' => 'The MIT Press', 'title' => 'Object-Oriented Concurrent Programming', 'type' => 'book', 'year' => '1987', ) array ( 'address' => 'Portland, Oregon', 'author' => 'Akinori Yonezawa and Jean-Pierre Briot and Etsuya Shibayama', 'booktitle' => 'Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications', 'editor' => 'Norman Meyrowitz', 'key' => 'Yonezawa_86', 'pages' => '258--268', 'publisher' => 'ACM SIGPLAN Notices 21(11)', 'title' => 'Object-Oriented Concurrent Programming in ABCL/1', 'type' => 'inproceedings', 'year' => '1986', ) array ( 'author' => 'Zhang, Hantao', 'journal' => 'Association of Automated Resasoning Newsletters', 'key' => 'Zhang:93', 'note' => 'updated version of November 29, 1997', 'title' => 'Sato: A Decision Procedure for Propositional Logic', 'type' => 'Article', 'volume' => '22', 'year' => '1993', ) array ( 'address' => 'Portland, Oregon', 'author' => 'Jian Zhang and Hantao Zhang', 'booktitle' => 'Proceedings of the Thirteenth National Conference on Ariticial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference', 'key' => 'ZhangZhang96', 'month' => 'aug', 'pages' => '369 -- 374', 'publisher' => 'The MIT Press', 'title' => 'Combining Local Seearch and Backtracking Techniques for Constraint Satisfaction', 'type' => 'INPROCEEDINGS', 'volume' => '1', 'year' => '1996', ) array ( 'address' => 'Amsterdam, The Netherlands', 'author' => 'Parosh Aziz Abdulla and Per Bjesse and Niklas Eén', 'booktitle' => 'Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS \'00', 'editor' => 'Susanne Graf and Michael Schwartzbach', 'key' => 'abdulla2000', 'optnote' => '', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science', 'title' => 'Symbolic Reachability Analysis based on SAT Solvers', 'type' => 'inproceedings', 'year' => '2000', ) array ( 'author' => 'Martin Henz', 'howpublished' => '\\tt http://www.comp.nus.edu.sg/$\\tilde\\ $henz/projects/acc/', 'key' => 'accsolutions', 'title' => 'The Oz program to the ACC 1997/98 basketball scheduling problem and the Timetables that it found', 'type' => 'Misc', 'year' => '1998', ) array ( 'address' => 'Washington, DC', 'author' => 'US Department of Defense', 'key' => 'ada', 'publisher' => 'US Government Printing Office', 'title' => 'The Ada Programming Language', 'type' => 'book', 'year' => '1983', ) array ( 'address' => 'Fort Lauderdale, Florida', 'author' => 'Martin Henz and Yun Fong Lim and Seet Chong Lua and Xiao Ping Shi and J. Paul Walser and Roland H. C. Yap', 'booktitle' => 'Sixth International Symposium on Artificial Intelligence and Mathematics', 'key' => 'amai', 'note' => 'to appear', 'title' => 'Solving Hierarchical Constraints over Finite Domains', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'author' => 'M. Dell\'Amico and S. Martello', 'booktitle' => 'Annotated Bibliographies in Combinatorial Optimization', 'editor' => 'F. Maffioli and M. Dell\'Amico', 'key' => 'amico97', 'pages' => '355-371', 'publisher' => 'Wiley', 'title' => 'Linear assignment', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Jyväskylä, Finland', 'author' => 'Gregor Kiczales and John Lamping and Anurag Mendhekar and Chris Maeda and Cristina Videira Lopes and Jean-Marc Loingtier and John Irwin', 'booktitle' => 'Proceeedings of the European Conference on Object-Oriented Programming', 'editor' => 'J. Bosch and S. Mitchell', 'key' => 'aop:97', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1357', 'title' => 'Aspect-Oriented Programming', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'D. Applegate and W. Cook', 'journal' => 'ORSA Journal on Computing', 'key' => 'apple', 'number' => '2', 'pages' => '149-156', 'title' => 'A Computational Study of the Job-Shop Scheduling Problem', 'type' => 'Article', 'volume' => '3', 'year' => '1991', ) array ( 'author' => 'Krzysztof R.Apt and Jacob Brunekreef and Vincent Partington and Andrea Schaerf', 'journal' => 'ACM Transactions on Programming Languages and Systems', 'key' => 'apt98', 'number' => '5', 'pages' => '1014--1066', 'title' => 'Alma-O: an imperative language that supports declarative programming', 'type' => 'article', 'volume' => '20', 'year' => '1998', ) array ( 'author' => 'Baader, Franz and Hans-Jürgen Bürckert and Bernhard Nebel and Werner Nutt and Gert Smolka', 'journal' => 'Journal of Logic, Language and Information', 'key' => 'baader:et:al:jlli-92', 'pages' => '1--18', 'title' => 'On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations', 'type' => 'article', 'volume' => '2', 'year' => '1993', ) array ( 'author' => 'K. S. Bagga and L. W. Beineke and F. Harary', 'journal' => 'Vishwa Internat. J. Graph Theory', 'key' => 'bagga:92', 'number' => '1', 'pages' => '83--94', 'title' => 'Two problems on colouring tournaments', 'type' => 'article', 'volume' => '1', 'year' => '1992', ) array ( 'author' => 'Philippe Baptiste', 'journal' => 'Discrete Applied Mathematics', 'key' => 'baptiste2000', 'note' => 'to appear', 'title' => 'Scheduling Equal-Length Jobs on Identical Parallel Machines', 'type' => 'article', 'year' => '2000', ) array ( 'author' => 'P. Baptiste and C. Le Pape and and W. Nuijten', 'booktitle' => 'Proceedings of the First International Joint Workshop on Artificial Intelligence and Operations Research', 'key' => 'baptiste95', 'title' => 'Incorporating efficient operations research algorithms in constraint-based scheduling', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'address' => 'Passau, Germany', 'author' => 'M. Bartusch', 'key' => 'bar83', 'school' => 'Universität Passau, Fakultät für Mathematik und Informatik', 'title' => 'Optimierung von Netzplänen mit Anordnungsbeziehungen bei knappen Betriebsmitteln', 'type' => 'phdthesis', 'year' => '1983', ) array ( 'address' => 'Chicago', 'author' => 'Frank Baum', 'key' => 'baum', 'publisher' => 'Reilly and Lee', 'title' => 'The Wonderful Wizard of Oz', 'type' => 'book', 'year' => '1900', ) array ( 'author' => 'N. Beldiceanu and E. Contejean', 'journal' => 'Mathematical computer modelling', 'key' => 'beldiceanu:94', 'number' => '12', 'optnote' => 'xv', 'pages' => '97--123', 'title' => 'Introducing global constraints in CHIP', 'type' => 'Article', 'volume' => '20', 'year' => '1994', ) array ( 'address' => 'Alexandria, VA, USA', 'author' => 'Christian Bessière and Jean-Charles Régin', 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Joxan Jaffar', 'key' => 'bessiere99', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly', 'type' => 'inproceedings', 'year' => '1999', ) array ( 'address' => 'Saratoga Springs, NY, USA', 'author' => 'Wolfgang Bibel and Steffen Hölldobler and Jörg Würtz', 'booktitle' => '11th International Conference on Automated Deduction', 'editor' => 'Deepak Kapur', 'key' => 'bibel:92', 'month' => '15--18 jun', 'pages' => '94--108', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Artificial Intelligence, vol. 607', 'title' => 'Cycle Unification', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'address' => 'Amsterdam, The Netherlands', 'author' => 'Armin Biere and Alessandro Cimatti and Edmund Clarke and Yunshan Zhu', 'booktitle' => 'Tools and Algorithms for the Construction and Analysis of Systems, 5th International Conference, TACAS \'99', 'editor' => 'W. Rance Cleaveland', 'key' => 'biere99', 'optnote' => '', 'pages' => '193-207', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1579', 'title' => 'Symbolic Model Checking without BDDs', 'type' => 'inproceedings', 'year' => '1999', ) array ( 'author' => 'Stefano Bistarelli and Hélène Fargier and Ugo Montanari and Francesca Rossi and Thomas Schies and Gérard Verfaille', 'crossref' => 'jampel:book', 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'bistarelli96', 'pages' => '111--150', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Semiring-based CSPs and Valued CSPs: Basic Properties and Comparison', 'type' => 'InCollection', 'year' => '1996', ) array ( 'address' => 'Oxford, UK', 'author' => 'Susan Blackmore', 'key' => 'blackmore99', 'month' => 'may', 'publisher' => 'Oxford University Press', 'title' => 'The Meme Machine', 'type' => 'Book', 'year' => '1999', ) array ( 'address' => 'Boca Raton, Florida', 'author' => 'Guy Blelloch and Bruce Maggs', 'booktitle' => 'Algorithms and Theory of Computation Handbook', 'editors' => 'Mikhail Atallah', 'key' => 'blelloch:99', 'publisher' => 'CRC Press', 'title' => 'Parallel Algorithms', 'type' => 'incollection', 'year' => '1999', ) array ( 'author' => 'F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten', 'journal' => 'Journal of Theoretical Computer Science', 'key' => 'boer91', 'number' => '1', 'pages' => '3--34', 'title' => 'Semantic models for concurrent logic languages', 'type' => 'Article', 'volume' => '86', 'year' => '1991', ) array ( 'address' => 'Redwood City, CA', 'author' => 'Grady Booch', 'key' => 'booch:91', 'publisher' => 'Benjamin/Cummings Publishing', 'title' => 'Object-Oriented Design with Applications', 'type' => 'book', 'year' => '1991', ) array ( 'address' => 'Redwood City, CA', 'author' => 'Grady Booch', 'edition' => 'Second', 'key' => 'booch:94', 'publisher' => 'Benjamin/Cummings Publishing', 'title' => 'Object-Oriented Analysis and Design with Applications', 'type' => 'book', 'year' => '1994', ) array ( 'author' => 'Alan Borning and Robert Duisberg and Bjorn Freeman-Benson Axel Kramer and Michael Woolf', 'booktitle' => 'Proceedings of the 1987 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications', 'key' => 'borning87', 'month' => 'oct/nov', 'pages' => '48--60', 'publisher' => 'The ACM Press', 'title' => 'Constraint Hierarchies', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'Alan Borning and Bjorn Freeman-Benson and Molly Wilson', 'journal' => 'Lisp and Symbolic Computation', 'key' => 'borning92', 'pages' => '223--270', 'title' => 'Constraint Hierarchies', 'type' => 'article', 'volume' => '5', 'year' => '1992', ) array ( 'author' => 'Per Bothner', 'booktitle' => 'Lisp Users Conference', 'key' => 'bothner98', 'title' => 'Kawa: Compiling Scheme to Java', 'type' => 'InProceedings', 'year' => '1998', ) array ( 'author' => 'D. M. Bressoud', 'journal' => 'Europ. J. Combinatorics', 'key' => 'bressoud:87', 'pages' => '245--255', 'title' => 'Colored tournaments and Weyl\'s denominator formula', 'type' => 'article', 'volume' => '8', 'year' => '1987', ) array ( 'author' => 'J. Carlier and E. Pinson', 'journal' => 'Management Science', 'key' => 'carlier89', 'keywords' => '', 'number' => '2', 'pages' => '164--176', 'title' => 'An algorithm for solving the job-shop problem', 'type' => 'article', 'volume' => '35', 'year' => '1989', ) array ( 'author' => 'G. Carpaneto and S. Martello and P. Toth', 'journal' => 'Annals of Operations Research', 'key' => 'carpaneto88', 'pages' => '193-223', 'title' => 'Algorithms and codes for the assignment problem', 'type' => 'Article', 'volume' => '13', 'year' => '1988', ) array ( 'author' => 'Yves Caseau and François Laburthe', 'booktitle' => 'Proceedings of the In International Conference on Logic Programming', 'key' => 'caseau95', 'pages' => '369--383', 'title' => 'Improved CLP scheduling with task intervals', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Linz, Austria', 'author' => 'Yves Caseau', 'booktitle' => 'Principles and Practice of Constraint Programming - CP97, Proceedings of the 3rd International Conference', 'editor' => 'Gert Smolka', 'key' => 'caseau97', 'optnote' => '1608', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Using Constraint Propagation for Complex Scheduling Problems: Managing Size, Complex Resources and Travel', 'type' => 'inproceedings', 'year' => '1997', ) array ( 'address' => '', 'author' => 'Yves Caseau and François Laburthe', 'booktitle' => 'Proceedings of the International Conference on Logic Programming', 'key' => 'caseau:94a', 'optnote' => 'xv', 'pages' => '369--383', 'title' => 'Improved CLP Scheduling with Task Intervals', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'Y. Caseau and F. Laburthe', 'booktitle' => 'Joint International Conference and Symposium on Logic Programming', 'key' => 'caseau:96', 'optnote' => 'xv', 'optpages' => '', 'title' => 'Cumulative scheduling with task intervals', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'Alexandria, VA, USA', 'author' => 'Yves Caseau and François Laburthe and Glenn Silverstein', 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Joxan Jaffar', 'key' => 'caseau_meta_cp99', 'pages' => '144--158', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'A Meta-Heuristic Factory for Vehicle Routing Problems', 'type' => 'inproceedings', 'year' => '1999', ) array ( 'author' => 'Eric S. Raymond', 'howpublished' => 'somewhere on the web, search for title', 'key' => 'cathedral', 'month' => 'sep', 'title' => 'The Cathedral and the Bazaar', 'type' => 'Misc', 'year' => '1997', ) array ( 'address' => 'Providence, RI 02912', 'author' => 'Pascal Van Hentenryck and Vijay Saraswat and Yves Deville', 'institution' => 'Department of Computer Science, Brown University', 'key' => 'ccFD', 'month' => 'jan', 'number' => 'CS-93-02', 'title' => 'Design, Implementation and Evaluation of the Constraint Language cc(FD)', 'type' => 'TechReport', 'year' => '1993', ) array ( 'address' => 'New Orleans, Louisiana', 'author' => 'Emmanuel Chailloux and Christian Codognet and Philippe Codognet', 'booktitle' => 'Proceedings of the 6$^th$ IEEE International Conference on Tools with Artificial Intelligence', 'key' => 'chailloux94', 'month' => 'nov', 'pages' => '784--787', 'publisher' => 'IEEE Computer Society Press', 'title' => 'Finite Domain Constraints in the ML Functional Language', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'Yu Cheng', 'journal' => 'Journal of Transportation Engineering---ASCE', 'key' => 'cheng:98', 'month' => 'mar', 'number' => '2', 'pages' => '188--196', 'title' => 'Network-Based Simulation of Aircraft at Gates in Airport Terminals', 'type' => 'article', 'volume' => '124', 'year' => '1998', ) array ( 'author' => 'Yu Cheng', 'journal' => 'Knowledge-Based Systems', 'key' => 'cheng:98b', 'number' => '4', 'pages' => '225--236', 'title' => 'A Rule-based Reactive Model for The Simulation of Aircraft on Airport Gates', 'type' => 'article', 'volume' => '10', 'year' => '1998', ) array ( 'address' => 'School of Computing, National University of Singapore, 55 Science Drive 2, Singapore 117599', 'author' => 'François Larburthe', 'booktitle' => 'Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, appears as Technical Report TRA9/00', 'key' => 'choco', 'note' => 'available at http://techrep.comp.nus.edu.sg', 'title' => 'CHOCO: Implementing a CP Kernel', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'author' => 'Yves Caseau and Franççois Laburthe', 'booktitle' => 'Proceedings of the JICSLP\'96 workshop on multi-paradigm logic programming', 'editors' => 'M.T. Chakravarty and Y. Guo and T. Ida', 'key' => 'claire', 'publisher' => 'TU Berlin', 'title' => '\\textscCLAIRE: Combining Objects and Rules for Problem Solving', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'London, United Kingdom', 'author' => 'Claude Le Pape and Philippe Baptiste', 'booktitle' => 'Proceedings of the Third International Conference and Exhibition on the Practical Application of Constraint Technology', 'key' => 'claire:schedule', 'title' => 'A Constraint Programming Library for Preemptive and Non-Preemptive Scheduling', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Las Cruces, New Mexico, USA', 'author' => 'Yves Caseau and François-Xavier Josset and François Laburthe', 'booktitle' => 'Proceedings of the International Conference on Logic Programming', 'editor' => 'Danny De Schreye', 'key' => 'claire_iclp99', 'pages' => '245--259', 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms', 'type' => 'inproceedings', 'year' => '1999', ) array ( 'author' => 'J. Jaffar and S. Machaylov and P. Stuckey and R. Yap', 'journal' => 'ACM Transactions on Programming Languages and Systems', 'key' => 'clpr', 'month' => 'jul', 'number' => '3', 'title' => 'The CLP(R) Language and System', 'type' => 'Article', 'volume' => '14', 'year' => '1992', ) array ( 'author' => 'George E. Collins', 'journal' => 'Communications of the ACM', 'key' => 'collins1960', 'month' => 'dec', 'number' => '12', 'pages' => '655--657', 'title' => 'A method for overlapping and erasure of lists', 'type' => 'article', 'volume' => '3', 'year' => '1960', ) array ( 'abstract' => 'ftp://lri.lri.fr/LRI/articles/treinen/lpo-tcs.abstract', 'author' => 'Hubert Comon and Ralf Treinen', 'ftp' => 'ftp://lri.lri.fr/LRI/articles/treinen/lpo-tcs.ps.gz', 'journal' => 'Journal of Theoretical Computer Science', 'key' => 'comon95tcs', 'note' => 'To Appear', 'title' => 'The First-Order Theory of Lexicographic Path Orderings is Undecidable', 'type' => 'Article', 'year' => '1995', ) array ( 'address' => 'Cambridge, MA', 'editor' => 'Ehud Shapiro', 'key' => 'concurrentprolog', 'keywords' => '', 'publisher' => 'The MIT Press', 'title' => 'Concurrent Prolog: Collected Papers', 'type' => 'book', 'year' => '1987', ) array ( 'author' => 'D. Connolly', 'journal' => 'Journal of the Operations Research Society', 'key' => 'connolly92', 'pages' => '495--505', 'title' => 'General Purpose Simulated Annealing', 'type' => 'article', 'volume' => '43', 'year' => '1992', ) array ( 'author' => 'Stephen A. Cook', 'journal' => 'Third Annual ACM Symposium on Theory of Computing', 'key' => 'cook:71', 'keywords' => '', 'pages' => '151--158', 'title' => 'The Complexity of Theorem-proving procedures', 'type' => 'article', 'year' => '1971', ) array ( 'address' => 'Programming Systems Lab, Saarbrücken, Swedish Institute of Computer Science, Stockholm, and Université catholique de Louvain', 'author' => 'Tobias Müller', 'howpublished' => 'available from http://www.mozart-oz.org', 'key' => 'cpiref', 'title' => 'The Mozart Constraint Extensions Reference', 'type' => 'Booklet', 'year' => '2000', ) array ( 'address' => 'Programming Systems Lab, Saarbrücken, Swedish Institute of Computer Science, Stockholm, and Université catholique de Louvain', 'author' => 'Tobias Müller', 'howpublished' => 'available from http://www.mozart-oz.org', 'key' => 'cpitutorial', 'title' => 'Constraint Extensions Tutorial', 'type' => 'Booklet', 'year' => '1999', ) array ( 'address' => 'Mountain View, CA 94043, USA, \\tt http://www.ilog.com', 'key' => 'cplex_6', 'organization' => 'ILOG Inc.', 'title' => 'ILOG CPLEX Version 6.0, Reference Manual', 'type' => 'Manual', 'year' => '1996', ) array ( 'address' => 'NJ, USA', 'author' => 'J. M. Crawford', 'howpublished' => 'Second DIMACS Challenge: Cliques, Coloring and Satisfiability', 'key' => 'crawford93', 'month' => 'oct', 'title' => 'Solving Satisfiability Problems Using a Combination of Systematic and Local Search', 'type' => 'Misc', 'year' => '1993', ) array ( 'address' => 'Dagstuhl, Germany', 'author' => 'Martin Henz', 'booktitle' => '3$^rd$ International Workshop on Conditional Term Rewriting Systems', 'key' => 'dagstuhl:92', 'month' => 'jul', 'pages' => '196--201', 'title' => 'Refining Completion Modulo AC1', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'author' => 'Andrew Davison', 'key' => 'davison:89', 'school' => 'Imperial College, London', 'title' => 'Polka: A Parlog Object-Oriented Language', 'type' => 'PHDTHESIS', 'year' => '1989', ) array ( 'address' => 'Nagoya, Japan', 'author' => 'Toby Walsh', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Martha E. Pollack', 'key' => 'dds', 'month' => 'aug', 'pages' => '1388--1393', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Depth-bounded Discrepancy Search', 'type' => 'INPROCEEDINGS', 'year' => '1997', ) array ( 'author' => 'D. de Werra', 'journal' => 'Discrete Applied Mathematics', 'key' => 'deWerra80', 'optnote' => 'A graph-theoretic perspective on round robin scheduling. Particular attention to travel distance.', 'pages' => '327--337', 'title' => 'Geography, Games and Graphs', 'type' => 'Article', 'volume' => '2', 'year' => '1980', ) array ( 'address' => 'Amsterdam', 'author' => 'de Werra, D.', 'booktitle' => 'Studies on Graphs and Discrete Programming', 'editor' => 'P. Hansen', 'key' => 'deWerra80b', 'pages' => '381--395', 'publisher' => 'North-Holland', 'title' => 'Scheduling in Sports', 'type' => 'incollection', 'year' => '1980', ) array ( 'author' => 'D. de Werra', 'journal' => 'Discrete Applied Mathematics', 'key' => 'deWerra88', 'optnote' => 'A graph-theoretic perspective on round robin scheduling.', 'pages' => '47--65', 'title' => 'Some Models of Graphs for Scheduling Sports Competitions', 'type' => 'Article', 'volume' => '21', 'year' => '1988', ) array ( 'address' => 'Universität des Saarlandes, Forschungsbereich Programmiersysteme, Postfach 15 11 50, 66041 Saarbrücken, Germany', 'author' => 'Martin Henz', 'howpublished' => '\\tt http://www.com.nus.edu.sg/$\\tilde\\ $henz/ofccp/oz/', 'key' => 'diss-programs', 'title' => 'Objects in Oz---The Programs of the Thesis', 'type' => 'Misc', 'year' => '1997', ) array ( 'address' => 'Imperial College, London', 'author' => 'Stefano Novello and Joachim Schimpf', 'howpublished' => 'available from http://www.icparc.ic.ac.uk/eclipse', 'institution' => 'IC-Parc', 'key' => 'eclipse:interface', 'title' => 'ECLiPSe Embedding and Interfacing Manual', 'type' => 'Manual', 'year' => '1997', ) array ( 'author' => 'Toshio Endo and Kenjiro Taura and Akinori Yonezawa', 'booktitle' => 'Proceedings of High Performance Networking and Computing (SC97)', 'key' => 'endo97', 'month' => 'nov', 'title' => 'A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Cambridge, Massachusetts, USA', 'author' => 'Joachim Walser', 'booktitle' => 'Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)', 'directory' => 'ProgrammingSysLab', 'filename' => 'fa96.ps.Z', 'key' => 'fa96', 'month' => 'aug', 'note' => 'To appear', 'title' => 'Feasible Cellular Frequency Assignment Using Constraint Programming Abstractions', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'Programming Systems Lab, Saarbrücken, Swedish Institute of Computer Science, Stockholm, and Université catholique de Louvain', 'author' => 'Christian Schulte and Gert Smolka', 'howpublished' => 'available from http://www.mozart-oz.org', 'key' => 'fdtutorial', 'title' => 'Finite Domain Constraint Programming in Oz. A Tutorial', 'type' => 'Booklet', 'year' => '1999', ) array ( 'author' => 'Antonio Fernandez and Pat Hill', 'booktitle' => 'Proceedings of APPIA-GULP-PRODE 97 (AGP\'97)', 'key' => 'fernadez97', 'optnote' => 'weak comparison of Oz, ECLiPSe, CHR, and clp(FD) using SRQ.', 'title' => 'Boolean and Finite Domain solvers compared using Self Referential Quizzes', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Las Cruces, New Mexico, USA', 'author' => 'Martin Henz and Tobias Müller and Ka Boon Ng', 'booktitle' => 'Proceedings of the Workshop on Parallelism and Implementation Technology for Constraint Logic Programming', 'key' => 'figaro', 'note' => 'held in conjunction with ICLP\'99', 'title' => 'Figaro: Yet Another Constraint Programming Library', 'type' => 'InProceedings', 'year' => '1999', ) array ( 'address' => 'Budapest, Hungary', 'author' => 'Andrei Mantsivoda and Vyacheslav Petukhin and Alexei Weimann', 'booktitle' => 'Proceedings of the International Conference on Logic Programming', 'editor' => 'David S. Warren', 'key' => 'flang', 'month' => 'jun', 'pages' => '633--646', 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Memory Management of Constraints in Flang', 'type' => 'INPROCEEDINGS', 'year' => '1993', ) array ( 'address' => 'Singapore', 'author' => 'F. Focacci and A. Lodi and M. Milano', 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Rina Dechter', 'key' => 'focacci00', 'pages' => '187--201', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Cutting Planes in Constraint Programming: An Hybrid Approach', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'author' => 'F. Focacci and A. Lodi and M. Milano, D Vigo', 'booktitle' => 'Workshop on Large Scale Combinatorial Optimization and Constraints, CP98', 'key' => 'focacci98', 'publisher' => 'Electronic Notes in Discrete Mathematics', 'title' => 'Solving TSP through the Integration of OR and CP Techniques', 'type' => 'InProceedings', 'year' => '1998', ) array ( 'address' => 'Alexandria, VA, USA', 'author' => 'F. Focacci and A. Lodi and M. Milano', 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Joxan Jaffar', 'key' => 'focacci99', 'pages' => '189--203', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Cost-Based Domain Filtering', 'type' => 'inproceedings', 'year' => '1999', ) array ( 'author' => 'Martin Henz and Edgar Tan and Roland Yap', 'howpublished' => 'Draft', 'key' => 'fpgasat', 'month' => 'nov', 'optnote' => 'submitted for publication', 'title' => 'One Flip per Clock Cycle', 'type' => 'Misc', 'year' => '2001', ) array ( 'author' => 'Freeman-Benson, B. N. and J. Maloney and A. Borning', 'journal' => 'Communications of the ACM', 'key' => 'freeman-benson90', 'number' => '1', 'pages' => '54--63', 'title' => 'An Incremental Constraint Solver', 'type' => 'article', 'volume' => '33', 'year' => '1990', ) array ( 'author' => 'Eugene Freuder and Richard Wallace', 'crossref' => 'jampel:book', 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'freuder96', 'pages' => '63--110', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Partial Constraint Satisfaction', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'New York', 'author' => 'Michael Garey and David Johnson', 'key' => 'gareyjohnson79', 'publisher' => 'W. H. Freeman and Company', 'title' => 'Computers and Intractability: A Guide to the Theory of NP-Completeness', 'type' => 'book', 'year' => '1979', ) array ( 'author' => 'H. Gelernter and J. R. Hansen and C. L. Gerberich', 'journal' => 'Journal of the ACM', 'key' => 'gelernter1960', 'month' => 'apr', 'number' => '2', 'pages' => '87--101', 'title' => 'A Fortran-compiled list processing language', 'type' => 'Article', 'volume' => '7', 'year' => '1960', ) array ( 'address' => 'London', 'editor' => 'Colin R. Reeves', 'key' => 'generallocal', 'publisher' => 'Blackwell Scientific Publications', 'title' => 'Modern Heuristic Techniques for Combinatorial Problems', 'type' => 'book', 'year' => '1993', ) array ( 'address' => 'Amsterdam', 'author' => 'Kazunori Ueda', 'booktitle' => 'Programming of Future Generation Computers', 'editor' => 'K. Fuchi and M. Nivat', 'key' => 'ghc', 'pages' => '441--456', 'publisher' => 'Elsevier', 'title' => 'Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard', 'type' => 'InCollection', 'year' => '1988', ) array ( 'address' => 'School of Computing, National University of Singapore, 55 Science Drive 2, Singapore 117599', 'author' => 'Ka Boon Ng and Chui Wo Choi and Martin Henz and Tobias Müller', 'booktitle' => 'Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, appears as Technical Report TRA9/00', 'key' => 'gift', 'month' => 'sep', 'note' => 'available at http://techrep.comp.nus.edu.sg', 'title' => 'GIFT: A Generic Interface for Reusing Filtering Algorithms', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'author' => 'F. Glover and M. Laguna', 'booktitle' => 'Modern Heuristic Techniques for Combinatorial Problems', 'key' => 'glover93', 'publisher' => 'Blackwell Scientific Publications', 'title' => 'Tabu Search', 'type' => 'InCollection', 'year' => '1993', ) array ( 'author' => 'Goldberg, D. E.', 'key' => 'goldberg:book', 'publisher' => 'Addison-Wesley', 'title' => 'Genetic Algorithms in Search, Optimization and Machine Learning', 'type' => 'book', 'year' => '1989', ) array ( 'author' => 'Carla P. Gomes and Bart Selman and Ken McAloon and Carol Tretkoff', 'booktitle' => '4th International Conference on Artificial Intelligence Planning Systems (AIPS-98)', 'key' => 'gomes98', 'optnote' => 'contains benchmarks on round robin tournaments, introduces the term "pairing constraint"', 'title' => 'Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems', 'type' => 'inproceedings', 'year' => '1998', ) array ( 'author' => 'Google', 'howpublished' => 'http://directory.google.com/Top/Computers/Programming/Languages/', 'key' => 'googlepl', 'title' => 'Programming Languages', 'type' => 'Misc', 'year' => '2003', ) array ( 'author' => 'J. Gu', 'journal' => 'SIGART Bulletin', 'key' => 'gu92', 'number' => '3', 'pages' => '8-12', 'title' => 'Efficient Local Search for Very Large-Scale Satisifiability Problems', 'type' => 'article', 'year' => '1992', ) array ( 'address' => 'UK', 'author' => 'Jared Diamond', 'key' => 'guns', 'publisher' => 'Chatto & Windus', 'title' => 'Guns, Germs and Steel', 'type' => 'Book', 'year' => '1997', ) array ( 'author' => 'William Gustafson', 'key' => 'gustafson:98', 'school' => 'Rochester Institute of Technology', 'title' => 'Building a soccer tournament schedule using a genetic algorithm', 'type' => 'mastersthesis', 'year' => '1998', ) array ( 'author' => 'Ali Haghani and Min-Ching Chen', 'journal' => 'Transportation Research', 'key' => 'haghani:98', 'number' => '6', 'pages' => '437--454', 'title' => 'Optimizing Gate Assignments at Airport Terminals', 'type' => 'article', 'volume' => '32', 'year' => '1998', ) array ( 'address' => 'Linz, Austria', 'author' => 'Youssef Hamadi and David Merceron', 'booktitle' => 'Principles and Practice of Constraint Programming - CP97, Proceedings of the 3rd International Conference', 'editor' => 'Gert Smolka', 'key' => 'hamadi97', 'optnote' => 'using FPGA for implementing GSAT', 'pages' => '209--221', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'Reconfigurable Architectures: A new vision for optimization problems', 'type' => 'inproceedings', 'year' => '1997', ) array ( 'address' => 'Oxford, UK', 'author' => 'M. Aubury and I. Page and G. Randall and J. Saul and R. Watts', 'institution' => 'Oxford University Computing Laboratory', 'key' => 'handel-c', 'title' => 'Handel-C Language Reference Guide', 'type' => 'TechReport', 'year' => '1996', ) array ( 'author' => 'Philipp Hanschke and Jörg Würtz', 'journal' => 'Information Processing Letters', 'key' => 'hanschke:93a', 'month' => 'apr', 'number' => '5', 'pages' => '237--241', 'title' => 'Satisfiability of the smallest binary program', 'type' => 'Article', 'volume' => '45', 'year' => '1993', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Philipp Hanschke and Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'hanschke:93arep', 'month' => 'feb', 'note' => 'Also published in \\em Information Processing Letters, \\citehanschke:93a', 'number' => 'RR-93-09', 'title' => 'Satisfiability of the smallest binary program', 'type' => 'Research Report', 'year' => '1993', ) array ( 'author' => 'P. Hansen and B. Jaumard', 'journal' => 'Computing', 'key' => 'hansen90', 'pages' => '279-303', 'title' => 'Algorithms for the Maximum Satisfiability Problem', 'type' => 'Article', 'volume' => '44', 'year' => '1990', ) array ( 'address' => 'Pisa, Italy', 'author' => 'Warwick Harvey and Peter J. Stuckey', 'booktitle' => 'Principles and Practice of Constraint Programming - CP98, Proceedings of the 4th International Conference', 'editor' => 'M. Maher, J.-F. Puget', 'key' => 'harvey98', 'optnote' => '1608', 'pages' => '235--249', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1520', 'title' => 'Constraint representation for propagation', 'type' => 'inproceedings', 'year' => '1998', ) array ( 'author' => 'Christopher T. Haynes and Daniel P. Friedman and Mitchell Wand', 'journal' => 'Journal of Computer Languages', 'key' => 'haynes86', 'pages' => '143--153', 'title' => 'Obtaining coroutines from continuations', 'type' => 'article', 'volume' => '11', 'year' => '1986', ) array ( 'author' => 'Laurent Michel and Pascal Van Hentenryck', 'journal' => 'Journal of Theoretical Computer Science', 'key' => 'helios97', 'month' => 'feb', 'number' => '1', 'pages' => '3--48', 'title' => 'Helios: A modeling language for global optimization and its implementation in Newton', 'type' => 'Article', 'volume' => '173', 'year' => '1997', ) array ( 'author' => 'Van Hentenryck, Pascal and Deville, Yves and Teng, Choh-Man', 'journal' => 'Artificial Intelligence', 'key' => 'hentenryck92', 'pages' => '291--321', 'title' => 'A Generic Arc-consistency Algorithm and its Specializations', 'type' => 'article', 'volume' => '57', 'year' => '1992', ) array ( 'address' => 'Bologna, Italy', 'author' => 'Martin Henz and Gert Smolka', 'booktitle' => 'Workshop on Coordination Models and Languages for Parallelism and Distribution (in connection with ECOOP 94)', 'key' => 'henzsmolka:eccop94', 'month' => '5 jul', 'title' => 'Objects in Higher-order Concurrent Constraint Programming with State', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'J. N. Hooker and C. Fedjki', 'journal' => 'Annals of Mathematics and Artificial Intelligence', 'key' => 'hooker90', 'pages' => '123--139', 'title' => 'Branch-and-cut Solution of Inference Problems in Propositional Logic', 'type' => 'Article', 'volume' => '1', 'year' => '1990', ) array ( 'author' => 'Holger H. Hoos and Thomas Stützle', 'journal' => 'Journal of Automated Reasoning', 'key' => 'hoos00local', 'number' => '4', 'pages' => '421-481', 'title' => 'Local Search Algorithms for SAT: An Empirical Evaluation', 'type' => 'article', 'url' => 'citeseer.nj.nec.com/hoos99local.html', 'volume' => '24', 'year' => '2000', ) array ( 'author' => 'Hiroshi Hosobe and Satoshi Matsuoka and Akoniro Yonezawa', 'booktitle' => 'Principles and Practice of Constraint Programming---CP96, Proceedings of the Second International Conference', 'key' => 'hosobe96', 'pages' => '235--251', 'publisher' => 'Springer-Verlag', 'title' => 'Generalized Local Propagation: A Framework for Solving COnstraint Hierarchies', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'Gert Smolka', 'howpublished' => 'Project Proposal, German Research Center for Artificial Intelligence (DFKI) Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'key' => 'hydra', 'month' => 'apr', 'title' => 'Hydra: Constraint-Based Computation and Deduction', 'type' => 'Misc', 'year' => '1991', ) array ( 'address' => 'Nagoya, Japan', 'author' => 'Pedro Meseguer', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Martha E. Pollack', 'key' => 'idfs', 'month' => 'aug', 'pages' => '1382--1387', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Interleaved Depth First Search', 'type' => 'INPROCEEDINGS', 'year' => '1997', ) array ( 'author' => 'ILOG', 'howpublished' => 'http://www.ilog.com', 'key' => 'ilog97', 'title' => 'Optimization Technology White Paper', 'type' => 'Misc', 'year' => '1997', ) array ( 'address' => 'URL: \\tt http://www.ilog.com', 'key' => 'ilog:schedule', 'optnote' => '', 'organization' => '\\sc Ilog', 'title' => '\\sc Ilog Scheduler', 'type' => 'Manual', 'year' => '2000', ) array ( 'address' => 'URL: \\tt http://www.ilog.com', 'key' => 'ilog:solver', 'optnote' => '', 'organization' => '\\sc Ilog', 'title' => '\\sc Ilog Solver 3.2, User Manual, 1996', 'type' => 'Manual', 'year' => '1996', ) array ( 'address' => 'Tuscon, AZ', 'author' => 'Dan Ingalls', 'booktitle' => 'Proceedings of the ACM Symposium on Principles of Programming Languages', 'key' => 'ingalls:78', 'publisher' => 'The ACM Press, New York', 'title' => 'The Smalltalk-76 Programming System Design and Implementation', 'type' => 'INPROCEEDINGS', 'year' => '1978', ) array ( 'author' => 'Tobias Müller and Jörg Würtz', 'booktitle' => 'JICSLP96 Post-conference workshop and Compulog Net Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages', 'directory' => 'ProgrammingSysLab', 'filename' => 'interfacing96.ps.Z', 'key' => 'interfacing96', 'pages' => '195--206', 'title' => 'Interfacing Propagators with a Concurrent Constraint Language', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'Jerusalem, Israel', 'author' => 'Rishiyur Nikhil and Arvind', 'booktitle' => 'Proceedings of the Annual International Symposium on Computer Architecture', 'editor' => 'Michael Yoeli and Gabriel Silberman', 'key' => 'isca89*262', 'pages' => '262--272', 'publisher' => 'IEEE Computer Society Press', 'title' => 'Can Dataflow Subsume von Neumann Computing\\?', 'type' => 'INPROCEEDINGS', 'year' => '1989', ) array ( 'author' => 'Joxan Jaffar and Michael Maher', 'journal' => 'Journal of Logic Programming', 'key' => 'jaffar:94', 'pages' => '503--582', 'title' => 'Constraint Logic Programming---A Survey', 'type' => 'Article', 'volume' => '19/20', 'year' => '1994', ) array ( 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'jampel:book', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Over-Constrained Systems', 'type' => 'book', 'year' => '1996', ) array ( 'author' => 'Robert G. Jeroslow and Jinchang Wang', 'journal' => 'Annals of Mathematics and Artificial Intelligence', 'key' => 'jeroslow90', 'pages' => '167--187', 'title' => 'Solving Propositional Satisfiability Problems', 'type' => 'Article', 'volume' => '1', 'year' => '1990', ) array ( 'address' => 'New York', 'author' => 'Richard Jones and Rafael Lins', 'key' => 'joneslins', 'publisher' => 'John Wiley & Sons', 'title' => 'Garbage Collection', 'type' => 'Book', 'year' => '1996', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Kenneth Kahn and Eric Tribble and Mark Miller and Daniel Bobrow', 'booktitle' => 'Concurrent Prolog', 'editor' => 'Ehud Shapiro', 'key' => 'kahn:87', 'pages' => '275--303', 'publisher' => 'The MIT Press', 'series' => 'Series in Logic Programming', 'title' => 'Vulcan: Logical Concurrent Objects', 'type' => 'InCollection', 'year' => '1987', ) array ( 'author' => 'Andrew J. Kennedy', 'journal' => 'Journal of Functional Programming', 'key' => 'kennedy:96', 'month' => 'may', 'number' => '3', 'pages' => '527--534', 'title' => 'Functional Pearls: Drawing Trees', 'type' => 'article', 'volume' => '6', 'year' => '1996', ) array ( 'author' => 'Naoki Kobayashi', 'journal' => 'ACM Transactions on Programming Languages and Systems', 'key' => 'kobayashi98', 'number' => '2', 'pages' => '436--482', 'title' => 'A Partially Deadlock-free Typed Process Calculus', 'type' => 'Article', 'volume' => '20', 'year' => '1998', ) array ( 'author' => 'Richard E. Korf', 'journal' => 'Artificial Intelligence', 'key' => 'korf:85', 'number' => '1', 'pages' => '97--109', 'title' => 'Depth-first Iterative Deepening', 'type' => 'article', 'volume' => '27', 'year' => '1985', ) array ( 'author' => 'Manfred Kudlek', 'booktitle' => 'Foundations of Computer Science: Potential - Theory - Cognition', 'key' => 'kudlek', 'pages' => '209--218', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1337', 'title' => 'Calendars and Chronology', 'type' => 'Proceedings', 'year' => '1997', ) array ( 'address' => 'Amsterdam', 'author' => 'H. P. Barendregt', 'booktitle' => 'Handbook of Theoretical Computer Science', 'chapter' => '7', 'editor' => 'J. van Leeuwen', 'key' => 'lambdaBarendregt', 'pages' => '323--363', 'publisher' => 'Elsevier', 'title' => 'Functional Programming and Lambda Calculus', 'type' => 'InCollection', 'year' => '1990', ) array ( 'address' => 'Montréal, Québec, Canada', 'author' => 'William D. Harvey and Matthew L. Ginsberg', 'booktitle' => 'Proceedings of the International Joint Conference on Artificial Intelligence', 'editor' => 'Chris S. Mellish', 'key' => 'lds', 'month' => 'aug', 'pages' => '607--615', 'publisher' => 'Morgan Kaufmann Publishers, San Mateo, CA', 'title' => 'Limited Discrepancy Search', 'type' => 'INPROCEEDINGS', 'year' => '1995', ) array ( 'author' => 'C. Le Pape', 'booktitle' => 'Proceedings of the INRIA/IEEE Conference on Emerging Technologies and Factory Automation', 'key' => 'lepape:95', 'optnote' => 'xv', 'title' => 'Three mechanisms for managing resource constraints in a library for constraint-based scheduling', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'author' => 'V. Linek and B. Sands', 'journal' => 'Ars Combinatoria', 'key' => 'linek:96', 'number' => '13', 'pages' => '225--228', 'title' => 'A note on paths in edge-coloured tournaments', 'type' => 'article', 'volume' => '44', 'year' => '1996', ) array ( 'address' => 'New Delhi, India', 'author' => 'Vijay Saraswat', 'booktitle' => 'Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science', 'editor' => 'S.N. Meheshwari', 'key' => 'lncs206*347', 'pages' => '347--368', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science 206', 'title' => 'Partial Correctness Semantics for CP$[\\downarrow,|,&]$', 'type' => 'INPROCEEDINGS', 'year' => '1985', ) array ( 'address' => 'Tokyo, Japan', 'author' => 'Kazunori Ueda', 'booktitle' => 'Proceedings of the International Conference on Logic Programming', 'editor' => 'Eiti Wada', 'key' => 'lncs221*168', 'pages' => '168--179', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science 221', 'title' => 'Guarded Horn Clauses', 'type' => 'INPROCEEDINGS', 'year' => '1985', ) array ( 'address' => 'Eindhoven, Netherlands', 'author' => 'Arvind and Nikhil, Rishiyur', 'booktitle' => 'Proceedings of the Conference on Parallel Architectures and Languages Europe (PARLE). Volume II: Parallel Languages', 'editor' => 'de Bakker, Jacobus and Nijman, A.J. and Treleaven, Philip', 'key' => 'lncs259*1', 'pages' => '1--29', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science 259', 'title' => 'Executing a Program on the MIT Tagged-Token Dataflow Architecture', 'type' => 'INPROCEEDINGS', 'year' => '1987', ) array ( 'author' => 'Logikkonsult', 'howpublished' => 'older overview of the method', 'key' => 'logikkonsult', 'title' => 'St\\aalmarck\'s Method', 'type' => 'Misc', 'year' => '1997', ) array ( 'author' => 'D. W. Loveland', 'journal' => 'Journal of the ACM', 'key' => 'loveland68', 'month' => 'apr', 'number' => '2', 'title' => 'Mechanical Theorem-Proving by Model Elimination', 'type' => 'Article', 'volume' => '15', 'year' => '1968', ) array ( 'author' => 'D. W. Loveland', 'journal' => 'Journal of the ACM', 'key' => 'loveland69', 'month' => 'jul', 'number' => '3', 'title' => 'A Simplified Format for the Model Elimination Theorem-Proving Procedure', 'type' => 'Article', 'volume' => '16', 'year' => '1969', ) array ( 'address' => 'Amsterdam', 'author' => 'Donald W. Loveland', 'key' => 'loveland78', 'optnote' => 'chapter 2: basic resolution gives nice account of Davis-Putnam-Loveland procedure', 'publisher' => 'North-Holland', 'title' => 'Automated Theorem Proving: A Logical Basis', 'type' => 'book', 'year' => '1978', ) array ( 'author' => 'Irvin J. Lustig and Jean-Fran\\,cois Puget', 'howpublished' => 'http://www.ilog.com', 'key' => 'lustig99', 'title' => 'Program \\verb!= Program: Constraint Programming and its Relationship to Mathematical Programming', 'type' => 'Misc', 'year' => '1999', ) array ( 'author' => 'Irvin J. Lustig and Jean-François Puget', 'howpublished' => 'white paper of Ilog Inc., Mountain View, CA 94043, USA, available at http://www.ilog.com', 'key' => 'lustig:99', 'title' => 'Program != Program: Constraint Programming and its Relationship to Mathematical Programming', 'type' => 'Misc', 'year' => '1999', ) array ( 'author' => 'Alan Mackworth', 'journal' => 'Artificial Intelligence', 'key' => 'mackworth77', 'pages' => '99--118', 'title' => 'Consistency in Networks of Relations', 'type' => 'Article', 'volume' => '8', 'year' => '1977', ) array ( 'author' => 'R.S. Mangoubi and Dennis F.X. Mathaisel', 'journal' => 'Transportation Science', 'key' => 'mangoubi85', 'keywords' => '', 'month' => 'may', 'number' => '2', 'pages' => '173--188', 'title' => 'Optimizing Gate Assignments at Airport Terminals', 'type' => 'article', 'volume' => '19', 'year' => '1985', ) array ( 'author' => 'R. S. Mangoubi and Dennis F. X. Mathaisel', 'journal' => 'Transportation Science', 'key' => 'mangoubi:85', 'month' => 'may', 'number' => '2', 'pages' => '173-188', 'title' => 'Optimizing Gate Assignments at Airport Terminals', 'type' => 'article', 'volume' => '19', 'year' => '1985', ) array ( 'address' => '55 Science Drive 2, Singapore 117599', 'author' => 'Marleen van Brandenburg', 'institution' => 'School of Computing, National University of Singapore', 'key' => 'marleen_report', 'month' => 'jan', 'note' => 'available at http://techrep.comp.nus.edu.sg', 'number' => 'TRA1/01', 'title' => 'Scheduling the Dutch Professional Soccer League with Constraint Programming', 'type' => 'Technical Report', 'year' => '2001', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Kim Marriott and Peter J. Stuckey', 'key' => 'marriott98', 'publisher' => 'The MIT Press', 'title' => 'Programming with Constraints', 'type' => 'book', 'year' => '1998', ) array ( 'author' => 'David McAllester and Bart Selman and Henry Kautz', 'booktitle' => 'Proceedings Fourteenth National Conference on Artificial Intelligence (AAAI-97)', 'key' => 'mcallester97', 'title' => 'Evidence for invariants in local search', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Reinhardsbrunn Castle, Germany', 'author' => 'Michael Mehl', 'booktitle' => '2nd International Workshop on Nonmonotonic and Inductive Logic', 'editor' => 'G. Brewka, K. P. Jantke and P. H. Schmitt', 'key' => 'mehl91', 'month' => '2--6 dec', 'pages' => '284--297', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Artificial Intelligence, vol. 659', 'title' => 'Retrieval in Case-Based Reasoning using preferred subtheories', 'type' => 'inproceedings', 'year' => '1991', ) array ( 'address' => 'Cassis, France', 'author' => 'Micha Meier', 'booktitle' => 'Proceedings of the First International Conference on Principles and Practice of Constraint Programming', 'key' => 'meier:95', 'month' => 'sep', 'pages' => '328--344', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  976', 'title' => 'Debugging Constraint Programs', 'type' => 'InProceedings', 'year' => '1995', ) array ( 'author' => 'Francisco Menezes and Pedro Barahona', 'crossref' => 'jampel:book', 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'menezes96', 'pages' => '151--187', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Defeasible Constraint Solving', 'type' => 'InCollection', 'year' => '1996', ) array ( 'address' => 'Schloss Hagenberg, Linz, Austria', 'author' => 'Laurent Michel and Pascal Van Hentenryck', 'booktitle' => 'Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference', 'editor' => 'Gert Smolka', 'key' => 'michel:97', 'month' => 'oct/nov', 'pages' => '237--251', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1330', 'title' => 'LOCALIZER---A Modelling Language for Local Search', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Vandoeuvre-lés-Nancy', 'author' => 'Eric Monfroy', 'institution' => 'Centre de Recherche en Informatique de Nancy', 'key' => 'monfroy96', 'month' => 'feb', 'number' => 'Research Report 96-R-044', 'title' => 'An Environment for Designing/Executing Constraint Solver Collaborations', 'type' => 'techreport', 'year' => '1996', ) array ( 'author' => 'F. Harary and L. Moser', 'journal' => 'Amer. Math. Monthly', 'key' => 'moser:66', 'pages' => '231--246', 'title' => 'The theory of round-robin tournaments', 'type' => 'Article', 'volume' => '73', 'year' => '1966', ) array ( 'address' => 'London, UK', 'author' => 'Tobias Müller', 'booktitle' => 'First International Conference on Computational Logic', 'key' => 'mueller2000', 'title' => 'Promoting Constraints to First-Class Status', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'author' => 'R. H. B. Netzer and J. Xu', 'issue' => '2', 'journal' => 'IEEE Transactions on Parallel and Distributed Systems', 'key' => 'netzer95', 'number' => '6', 'pages' => '165--169', 'title' => 'Necessary and sufficient conditions for consistent global snapshots', 'type' => 'article', 'year' => '1995', ) array ( 'address' => 'School of Computing, National University of Singapore, 55 Science Drive 2, Singapore 117599', 'author' => 'Ka Boon Ng and Kar Loon Ong', 'booktitle' => 'Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, appears as Technical Report TRA9/00', 'key' => 'ng:2000', 'month' => 'sep', 'note' => 'available at http://techrep.comp.nus.edu.sg', 'title' => 'A Software Framework for Integrating Search Paradigms', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'address' => 'Madison, WI', 'author' => 'Teruhisa Miura and Toru Ishida', 'booktitle' => 'Proceedings of the 16th National Conference on Artificial Intelligence', 'key' => 'nodecaching', 'publisher' => 'AAAI Press', 'title' => 'Stochastic Node Caching for Memory-bounded Search', 'type' => 'InProceedings', 'year' => '1998', ) array ( 'address' => 'Dublin', 'author' => 'Fred Brooks', 'booktitle' => 'Proceedings of the IFIP Tenth World Computing Conference', 'editor' => 'H.-J. Kugler', 'key' => 'nosilverbullet', 'pages' => '1069--1076', 'title' => 'No Silver Bullet -- Essence and Accident in Software Engineering', 'type' => 'inproceedings', 'year' => '1986', ) array ( 'author' => 'Martin Müller', 'howpublished' => 'Draft', 'key' => 'notesonhmx', 'title' => 'Notes on HM(X)', 'type' => 'Misc', 'year' => '1998', ) array ( 'address' => 'Englewood Cliffs, NJ', 'author' => 'Inmos Limited', 'key' => 'occam', 'publisher' => 'Prentice Hall', 'title' => 'occam 2 Reference Manual', 'type' => 'book', 'year' => '1988', ) array ( 'author' => 'Henz, Martin and Müller, Tobias and Thiel, Sven and van Brandenburg, Marleen', 'howpublished' => 'draft; available at http://www.comp.nus.edu.sg/ henz/drafts/one-factor.ps', 'key' => 'one-factor', 'month' => 'nov', 'title' => 'Global Constraints for Round Robin Tournament Scheduling', 'type' => 'Misc', 'year' => '2000', ) array ( 'author' => 'Henz, Martin and Müller, Tobias and Thiel, Sven and van Brandenburg, Marleen', 'howpublished' => 'http://www.comp.nus.edu.sg/ henz/projects/roundrobin', 'key' => 'one_factor_benchmarks', 'title' => 'Benchmarks and Results for Round Robin Tournaments', 'type' => 'Misc', 'year' => '2000', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Pascal Van Hentenryck', 'key' => 'opl', 'publisher' => 'The MIT Press', 'title' => 'The OPL Optimization Programming Language', 'type' => 'book', 'year' => '1999', ) array ( 'address' => 'Singapore', 'author' => 'Martin Henz and Tobias Müller', 'booktitle' => 'Proceedings of the Fifth Conference of the Association of Asia-Pacific Operational Research Societies Within IFORS', 'key' => 'overview', 'title' => 'An Overview of Finite Domain Constraint Programming', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Tobias Müller and Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:constraints', 'title' => 'Constraint Programming in Oz', 'type' => 'DFKI Oz Documentation Series', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Gert Smolka', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:crash', 'title' => 'An Oz Primer', 'type' => 'DFKI Oz Documentation Series', 'year' => '1997', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Martin Müller and Tobias Müller and Christian Schulte and Ralf Treinen and Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:demos', 'title' => 'DFKI Oz Demos', 'type' => 'DFKI Oz Documentation Series', 'year' => '1996', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Tobias Müller and Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:fd', 'title' => 'The Constraint Propagator Interface of DFKI Oz', 'type' => 'DFKI Oz Documentation Series', 'year' => '1997', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Gert Smolka', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:kernel', 'month' => 'nov', 'title' => 'The Definition of Kernel Oz', 'type' => 'DFKI Oz Documentation Series', 'year' => '1994', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Martin Henz and Martin Müller and Christian Schulte and Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:modules', 'title' => 'The Oz Standard Modules', 'type' => 'DFKI Oz Documentation Series', 'year' => '1997', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Martin Henz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:notation', 'title' => 'The Oz Notation', 'type' => 'DFKI Oz Documentation Series', 'year' => '1997', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Christian Schulte', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:open', 'title' => 'Open Programming in DFKI Oz', 'type' => 'DFKI Oz Documentation Series', 'year' => '1997', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:scheduling', 'title' => 'Scheduling in Oz', 'type' => 'DFKI Oz Documentation Series', 'year' => '1997', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Michael Mehl and Tobias Müller and Konstantin Popov and Ralf Scheidhauer and Christian Schulte', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:system', 'title' => 'DFKI Oz User\'s Manual', 'type' => 'DFKI Oz Documentation Series', 'year' => '1997', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Martin Henz and Martin Müller', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:tips', 'title' => 'Tips on Oz', 'type' => 'DFKI Oz Documentation Series', 'year' => '1997', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Michael Mehl and Christian Schulte', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'ozdoc:tk', 'title' => 'Window Programming in DFKI Oz', 'type' => 'DFKI Oz Documentation Series', 'year' => '1997', ) array ( 'author' => 'I. Page', 'issue' => '1', 'journal' => 'Journal of VLSI Signal Processing', 'key' => 'page96', 'number' => '12', 'pages' => '87--107', 'title' => 'Constructing hardware-software systems from a single description', 'type' => 'article', 'year' => '1996', ) array ( 'address' => 'Singapore', 'author' => 'Jean-François Puget', 'booktitle' => 'Proceedings of the First Singapore International Conference on Intelligent Systems (SPICIS)', 'key' => 'pecos', 'month' => 'sep/oct', 'pages' => '137--142', 'title' => 'PECOS: A High Level Constraint Programming Language', 'type' => 'inproceedings', 'year' => '1992', ) array ( 'author' => 'Frank Pfenning', 'journal' => 'Journal of Automated Reasoning', 'key' => 'pfenning93proof', 'title' => 'A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework', 'type' => 'article', 'url' => 'citeseer.nj.nec.com/pfenning92proof.html', 'year' => '1993', ) array ( 'address' => 'Postfach 1150, D-66041 Saarbrücken, Germany', 'author' => 'Ralf Treinen', 'howpublished' => 'Doctoral Dissertation', 'institution' => 'Universität des Saarlandes, Fachbereich 14 Informatik', 'key' => 'phd-treinen', 'month' => 'dec', 'note' => 'In German', 'publisher' => 'Universität des Saarlandes, D 66041 Saarbrücken, Germany', 'title' => 'Modulare Datentypdefinitionen und Ihre Beziehungen zur Logik erster Stufe', 'type' => 'Misc', 'year' => '1991', ) array ( 'author' => 'N. C. K. Phillips and W. D. Wallis', 'journal' => 'Congressus Numerantium', 'key' => 'phillips:96', 'pages' => '193--196', 'title' => 'All solutions to a tournament problem', 'type' => 'article', 'volume' => '114', 'year' => '1996', ) array ( 'address' => 'Tokyo, Japan', 'author' => 'Atsuhiro Goto and Masatoshi Sato and Katsuto Nakajima and Kazuo Taki and Akira Matsumoto', 'booktitle' => 'Proceedings of the International Conference on Fifth Generation Computer Systems', 'key' => 'pim88', 'pages' => '208--229', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'Overview of the Parallel Inference Machine Architecture (PIM)', 'type' => 'InProceedings', 'year' => '1988', ) array ( 'author' => 'Martin Müller and Joachim Niehren and Gert Smolka', 'institution' => 'Programming Systems Lab, Universität des Saarlandes', 'key' => 'plain-report-97', 'month' => 'sep', 'title' => 'Typed Concurrent Programming with Logic Variables', 'type' => 'TechReport', 'year' => '1997', ) array ( 'address' => 'Orlando, Florida', 'author' => 'Urs Hölzle and David Ungar', 'booktitle' => 'Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation', 'key' => 'pldi94*326', 'pages' => '326--336', 'publisher' => 'The ACM Press, New York', 'title' => 'Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback', 'type' => 'INPROCEEDINGS', 'year' => '1994', ) array ( 'author' => 'Michael Schwartzbach', 'howpublished' => 'Lecture Notes', 'key' => 'poly-type', 'month' => 'mar', 'title' => 'Polymorphic Type Inference', 'type' => 'Misc', 'year' => '1995', ) array ( 'address' => 'Austin, TX', 'author' => 'Kristensen, Bent Bruun and Madsen, Ole Lehrmann and Moller-Pedersen, Birger and Nygaard, Kristen', 'booktitle' => 'Proceedings of the ACM Symposium on Principles of Programming Languages', 'editor' => 'Alan Demers', 'key' => 'popl83*285', 'pages' => '285--298', 'publisher' => 'The ACM Press, New York', 'title' => 'Abstraction mechanisms in the Beta programming language', 'type' => 'INPROCEEDINGS', 'year' => '1983', ) array ( 'address' => 'San Francisco, CA', 'booktitle' => 'Proceedings of the 17th ACM Conference on Principles of Programming Languages', 'key' => 'popl90', 'month' => 'jan', 'type' => 'proceedings', 'year' => '1990', ) array ( 'address' => 'San Francisco, CA', 'author' => 'John Plevyak and Xingbin Zhang and Andrew Chien', 'bibtype' => 'INPROCEEDINGS', 'booktitle' => 'Proceedings of the ACM Symposium on Principles of Programming Languages', 'key' => 'popl95*311', 'location' => 'MPI-ZB', 'pages' => '311--321', 'publisher' => 'The ACM Press, New York', 'title' => 'Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages', 'type' => 'INPROCEEDINGS', 'year' => '1995', ) array ( 'author' => 'Neil Postman', 'key' => 'postman85', 'month' => 'nov', 'publisher' => 'Viking Press', 'title' => 'Amusing Ourselves To Death', 'type' => 'book', 'year' => '1985', ) array ( 'address' => 'Charleston, SC', 'author' => 'Kenjiro Taura and Satoshi Matsuoka and Akinori Yonezawa', 'booktitle' => 'Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming', 'editor' => 'Marina Chen', 'key' => 'ppopp93*218', 'pages' => '218--228', 'publisher' => 'The ACM Press, New York', 'title' => 'An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers', 'type' => 'INPROCEEDINGS', 'year' => '1993', ) array ( 'author' => 'Steven Prestwich', 'booktitle' => 'Proceedings of Practical Applications of Constraint Technology and Logic Programming', 'key' => 'prestwich2000', 'pages' => '27--29', 'title' => 'Stochastic Local Search in Constrained Spaces', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'author' => 'Gert Smolka', 'howpublished' => 'draft', 'key' => 'promises', 'title' => 'Promises and Futures for Oz and SML', 'type' => 'Misc', ) array ( 'address' => 'Cambridge, Massachusetts, USA', 'author' => 'Martin Henz', 'booktitle' => 'Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)', 'directory' => 'ProgrammingSysLab', 'filename' => 'puzzle96.ps.Z', 'key' => 'puzzle96', 'month' => 'aug', 'title' => 'Don\'t Be Puzzled!', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'Jean-Charles Régin', 'booktitle' => 'Proceedings of the AAAI $12^th$ National Conference on Artificial Intelligence', 'key' => 'regin94', 'pages' => '362--367', 'publisher' => 'AAAI Press', 'title' => 'A Filtering Algorithm for Constraints of Difference in CSPs', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'Jean-Charles Régin', 'booktitle' => 'Proceedings of the 13th National Conference on Artificial Intelligence', 'key' => 'regin96', 'publisher' => 'AAAI Press', 'title' => 'Generalized Arc Consistency for Global Cardinality Constraint', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'Las Cruces, New Mexico', 'author' => 'Martin Henz', 'booktitle' => 'Proceedings of the International Conference on Logic Programming', 'editor' => 'De Schreye, Danny', 'key' => 'robin', 'pages' => '545--557', 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Constraint-based Round Robin Tournament Planning', 'type' => 'InProceedings', 'year' => '1999', ) array ( 'author' => 'Martin Henz and Gert Smolka', 'howpublished' => 'SML code available via WWW at \\mbox\\tt http://www.comp.nus.edu.sg/$\\tilde\\ $henz/projects/rooms', 'key' => 'rooms', 'title' => 'An Experimental Implementation of a Finite Domain Constraint Programming Library in SML', 'type' => 'Misc', 'year' => '1999', ) array ( 'author' => 'Martin Henz and Gert Smolka', 'howpublished' => 'draft available at http://www.comp.nus.edu.sg/ henz/drafts/room.ps', 'key' => 'roomsdraft', 'title' => 'Design of a Finite Domain Constraint Programming Library for ML', 'type' => 'Misc', 'year' => '1999', ) array ( 'address' => 'Pisa, Italy', 'author' => 'François Laburthe and Yves Caseau', 'booktitle' => 'Principles and Practice of Constraint Programming', 'editor' => 'Michael Maher and Jean-François Puget', 'key' => 'salsa_cp98', 'pages' => '310--324', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'SALSA: A Language for Search Algorithms', 'type' => 'inproceedings', 'year' => '1998', ) array ( 'author' => 'Michael Sannella', 'booktitle' => 'Proceedings of the ACM Symposium on User Interface Software and Technology', 'key' => 'sannella94', 'pages' => '137--146', 'publisher' => 'The ACM Press', 'title' => 'Skyblue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'Berkeley & Los Angeles', 'author' => 'E. Sapir', 'editors' => 'D. G. Mandelbaum', 'key' => 'sapir', 'publisher' => 'University of California', 'title' => 'Language, Culture and Personality', 'type' => 'book', 'year' => '1956', ) array ( 'author' => 'E. Sapir', 'journal' => 'Language', 'key' => 'sapir1929', 'pages' => '207--214', 'title' => 'The Status of Linguistics as a Science', 'type' => 'article', 'volume' => '5', 'year' => '1929', ) array ( 'address' => 'NAGOYA, Archi, Japan', 'author' => 'Bart Selman and Henry Kautz and David McAllester', 'booktitle' => 'Proceedings of the 15$^th$ International Joint Conference Artificial Intelligence', 'key' => 'satchallenge:97', 'title' => 'Ten Challenges in Propositional Reasoning and Search', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'address' => 'Vienna, Austria', 'author' => 'Henry Kautz and Bart Selman', 'booktitle' => 'Proceedings of the ECAI-92', 'key' => 'satplanning:92', 'pages' => '359--363', 'title' => 'Planning as Satisfiability', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'author' => 'J. Gu and P. W. Purdom and J. Franco and B. W. Wah', 'booktitle' => 'Satisfiability Problem: Theory and Applications', 'key' => 'satsurvey', 'pages' => '19--151', 'publisher' => 'American Mathematical Society', 'series' => 'DIMACS Series in Discrete Mathematics and Theoretical Computer Science', 'title' => 'Algorithms for the Satisfiability(SAT) Problem: A Survey', 'type' => 'incollection', 'volume' => '35', 'year' => '1997', ) array ( 'address' => 'Konstanz, Germany', 'author' => 'Michael A. Trick', 'booktitle' => 'Proceedings of the 3$^\\textrmrd$ International Conference on the Practice and Theory of Automated Timetabling', 'editor' => 'Edmund Burke and Wilhelm Erben', 'key' => 'schedule-then-break', 'publisher' => 'Fachhochschule Konstanz, ISBN 3-00-003866-3', 'title' => 'A Schedule-then-Break Approach to Sports Timetabling', 'type' => 'inproceedings', 'year' => '2000', ) array ( 'address' => 'Toulouse, France', 'author' => 'Jörg Würtz', 'booktitle' => 'Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence', 'directory' => 'ProgrammingSysLab', 'filename' => 'scheduler96.ps.Z', 'key' => 'scheduler96', 'month' => 'nov 16--19', 'pages' => '132--139', 'publisher' => 'IEEE Computer Society Press', 'title' => 'Oz Scheduler: A Workbench for Scheduling Problems', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'author' => 'Kenjiro Taura and Akinori Yonezawa', 'booktitle' => 'Object-based parallel and distributed computation: France-Japan Workshop, OBPDC \'95, Tokyo, Japan, June 21--23, 1995: selected papers', 'editor' => 'Jean-Pierre Briot and Jean-Marc Geib and Akinori Yonezawa', 'key' => 'schematic', 'pages' => '59--82', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1107', 'title' => 'Schematic: a concurrent object-oriented extension to Scheme', 'type' => 'InProceedings', 'year' => '1996', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Gerald Sussman and Guy Steele', 'institution' => 'Massachusetts Institute of Technology', 'key' => 'scheme:75', 'month' => 'dec', 'number' => '349', 'title' => 'Scheme: An Interpreter for Extended Lambda Calculus', 'type' => 'A.I. Memo No.', 'year' => '1975', ) array ( 'author' => 'Jürgen Schmidhuber', 'booktitle' => 'Foundations of Computer Science: Potential - Theory - Cognition', 'key' => 'schmidhuber', 'pages' => '201--208', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1337', 'title' => 'A Computer Scientist\'s View of Life, the Universe, and Everything', 'type' => 'Proceedings', 'year' => '1997', ) array ( 'address' => 'Dubuque, Iowa', 'author' => 'David A. Schmidt', 'key' => 'schmidt', 'publisher' => 'Wm. C. Brown Publishers', 'title' => 'Denotational Semantics---A Methodology for Language Development', 'type' => 'BOOK', 'year' => '1988', ) array ( 'author' => 'Jan A. M. Schreuder and David Panton', 'howpublished' => 'draft', 'key' => 'schreuder2000', 'month' => 'nov', 'title' => 'Research: Scheduling KNVB Fixture Lists', 'type' => 'Misc', 'year' => '2000', ) array ( 'address' => 'Las Cruces, New Mexico', 'author' => 'Christian Schulte', 'booktitle' => 'Proceedings of the International Conference on Logic Programming', 'editor' => 'Danny De Schreye', 'key' => 'schulte99', 'month' => 'aug', 'pages' => '275--289', 'publisher' => 'The MIT Press, Cambridge, MA', 'title' => 'Comparing Trailing and Copying for Constraint Programming', 'type' => 'INPROCEEDINGS', 'year' => '1999', ) array ( 'author' => 'Christian Schulte', 'howpublished' => 'Draft', 'key' => 'schultedeep', 'title' => 'Programming Deep Concurrent Constraint Combinators', 'type' => 'Misc', 'year' => '1999', ) array ( 'address' => 'Washington, DC', 'author' => 'Jeffrey Mark Siskind and David Allen McAllester', 'booktitle' => 'Proceedings of the AAAI 11$^th$ National Conference on Artificial Intelligence', 'key' => 'screamer', 'month' => 'jul', 'pages' => '133--138', 'publisher' => 'AAAI Press', 'title' => 'Nondeterministic Lisp as a Substrate for Constraint Logic Programming', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'author' => 'Ng, Ka Boon Kevin', 'howpublished' => 'Honours Year Project Report, School of Computing, National University of Singapore', 'key' => 'scripting', 'title' => 'A Scripting Approach to Finite Domain Constraint Programming', 'type' => 'Misc', 'year' => '1999', ) array ( 'author' => 'B. Selman and Hector Levesque and David Mitchell', 'booktitle' => 'Proceedings of AAAI-92', 'key' => 'selman:92', 'pages' => '440--446', 'title' => 'A new method for solving hard satisfiability problems', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'address' => 'Washington, DC', 'author' => 'B. Selman and H. A. Kautz', 'booktitle' => 'Proceedings of the 11th National Conference on Artificial Intelligence', 'key' => 'selman:93', 'month' => 'jul', 'publisher' => 'AAAI Press', 'title' => 'An Empirical Study of Greedy Local Search for Satisfiability Testing', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'author' => 'B. Selman and H. Kautz and B. Cohen', 'booktitle' => 'Proceedings of AAAI-94', 'key' => 'selman:94', 'pages' => '337--343', 'title' => 'Noise strategies for improving local search', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'address' => 'Madison, WI', 'author' => 'C.P. Gomes and B. Selman and H. A. Kautz', 'booktitle' => 'Proceedings of the 16th National Conference on Artificial Intelligence', 'key' => 'selman:98', 'publisher' => 'AAAI Press', 'title' => 'Boosting Combinatorial Search Through Randomization', 'type' => 'InProceedings', 'year' => '1998', ) array ( 'address' => 'Pisa, Italy', 'author' => 'Paul Shaw', 'booktitle' => 'Principles and Practice of Constraint Programming - CP98, Proceedings of the 4th International Conference', 'editor' => 'M. Maher, J.-F. Puget', 'key' => 'shaw98', 'optnote' => '1608', 'pages' => '417--431', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1520', 'title' => 'Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems', 'type' => 'inproceedings', 'year' => '1998', ) array ( 'address' => '', 'author' => 'Mary Sheeran and Gunnar St\\aalmarck', 'booktitle' => 'Formal Methods for CAD: Enabling technologies and system-level applications, Formal Methods in System Design', 'editor' => 'G. Gopalakrishnan', 'key' => 'sheeran2000', 'title' => 'A Tutorial on St\\aalmarck\'s Proof Procedure for Propositional Logic', 'type' => 'inproceedings', 'year' => '2000', ) array ( 'author' => 'Mary Sheeran and Gunnar Stålmarck', 'booktitle' => 'Formal Methods for CAD: Enabling technologies and system-level applications, Formal Methods in System Design', 'editor' => 'G. Gopalakrishnan', 'key' => 'sheeran2000e', 'title' => 'A tutorial on Stålmarck\'s proof procedure for propositional logic', 'type' => 'inproceedings', 'year' => '2000', ) array ( 'address' => 'Forskningsveien 1 B, Oslo 3, Norway', 'author' => 'Ole-Johan Dahl and Kristen Nygaard', 'institution' => 'Norwegian Computing Center', 'key' => 'simula:65', 'month' => 'may', 'title' => 'SIMULA---A Language for Programming and Description of Discrete Event Systems, Introduction and User\'s Manual', 'type' => 'TechReport', 'year' => '1965', ) array ( 'author' => 'Ole-Johan Dahl and Kristen Nygaard', 'journal' => 'Communications of the ACM', 'key' => 'simula:66', 'number' => '9', 'pages' => '671--678', 'title' => 'Simula, an Algol-based Simulation Language', 'type' => 'article', 'volume' => '9', 'year' => '1966', ) array ( 'address' => 'Humboldt-Universität zu Berlin, Germany', 'author' => 'Gert Smolka and Martin Henz and Jörg Würtz', 'booktitle' => 'Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz', 'editor' => 'Otthein Herzog and Thomas Christaller and Dieter Schütt', 'key' => 'smolka:93c', 'month' => '13--16 sep', 'note' => 'appeared in \\em Principles and Practice of Constraint Programming, see Section Books and Book Chapters', 'pages' => '44--60', 'publisher' => 'Springer-Verlag', 'title' => 'Object-Oriented Concurrent Constraint Programming in Oz', 'type' => 'InProceedings', 'year' => '1993', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Steele, Jr., Guy Lewis', 'key' => 'steelephd', 'month' => 'aug', 'school' => 'The MIT Press', 'title' => 'The Definition and Implementation of a Computer Programming Language Based on Constraints', 'type' => 'phdthesis', 'year' => '1980', ) array ( 'address' => 'Boston, MA', 'author' => 'Tee Yong Chew and Martin Henz and Ka Boon Ng', 'booktitle' => 'Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000', 'editor' => 'Enrico Pontelli and V\\\'\\itor Santos Costa', 'key' => 'stk', 'pages' => '185--199', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1753', 'title' => 'A Toolkit for Constraint-based Inference Engines', 'type' => 'InProceedings', 'year' => '2000', ) array ( 'author' => 'Tee Yong Chew and Martin Henz', 'howpublished' => 'Oz code available via WWW at \\mbox\\tt http://www.comp.nus.edu.sg/\\homedir henz/projects/stk', 'key' => 'stkcode', 'title' => 'SearchToolKit: A Toolkit for Constraint-based Tree Search', 'type' => 'Misc', 'year' => '1999', ) array ( 'author' => 'Chew, Tee Yong', 'howpublished' => 'Honours Year Project Report, School of Computing, National University of Singapore, available at \\tt http://www.comp.nus.edu.sg/ henz/projects/toolkit/', 'key' => 'stkreport', 'month' => 'mar', 'title' => 'A Toolkit for Constraint-based Tree Search', 'type' => 'Misc', 'year' => '1999', ) array ( 'author' => 'Martin Sulzmann and Martin Odersky and Martin Wehr', 'booktitle' => 'Proc.\\ 4th Int\'l Workshop on Foundations of Object-Oriented Languages (FOOL), Paris, France', 'editor' => 'Benjamin Pierce', 'key' => 'sulzmann-odersky-wehr-97', 'month' => 'January', 'note' => 'URL: \\tt http://www.cs.indiana.edu/hyplan/pierce/fool/sulzmann.ps.gz', 'title' => 'Type Inference with Constrained Types', 'type' => 'INPROCEEDINGS', 'year' => '1997', ) array ( 'author' => 'Jörn Schönberger and Dirk C. Mattfeld and Herbert Kopfer', 'howpublished' => 'submitted', 'key' => 'tabletennis2000', 'title' => 'Automated Timetable Generation for Rounds of a Table-Tennis League', 'type' => 'Misc', 'year' => '2000', ) array ( 'author' => 'Yves Rochat and Eric D. Taillard', 'journal' => 'Journal of Heuristics', 'key' => 'taillard:95', 'pages' => '147--167', 'publisher' => 'Kluwer Academic Publishers', 'title' => 'Probabilistic Diversification and Intensification in Local Search for Vehicle Routing', 'type' => 'ARTICLE', 'year' => '1995', ) array ( 'author' => 'Kenjiro Taura and Akinori Yonezawa', 'booktitle' => 'Proceedings of PPoPP\'97', 'key' => 'taura:gc:97', 'title' => 'An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'Kenjiro Taura and Akinori Yonezawa', 'booktitle' => 'Proceedings of PLDI\'97', 'key' => 'taura:mt:98', 'title' => 'Fine-grain Multithreading with Minimal Compiler Support---A Cost Effective Approach to Implementing Efficient Multithreading', 'type' => 'InProceedings', 'year' => '1997', ) array ( 'author' => 'J. Earley and H. Sturgis', 'journal' => 'Communications of the ACM', 'key' => 'tdiagrams', 'pages' => '607--617', 'title' => 'A Formalism for Translator Interactions', 'type' => 'article', 'volume' => '13', 'year' => '1970', ) array ( 'author' => 'R. D. Tennent', 'key' => 'tennent', 'publisher' => 'Englewood Cliffs; Prentice-Hall', 'title' => 'Principles of Programming Languages', 'type' => 'book', 'year' => '1981', ) array ( 'address' => 'Hertfordshire, UK', 'author' => 'R. D. Tennent', 'key' => 'tennent91', 'publisher' => 'Prentice Hall', 'title' => 'Semantics of Programming Languages', 'type' => 'BOOK', 'year' => '1991', ) array ( 'author' => 'Mark P. Jones', 'howpublished' => 'http://www.cse.ogi.edu/ mpj/thih/', 'key' => 'thih2000', 'title' => 'Typing Haskell in Haskell', 'type' => 'Misc', 'year' => '2000', ) array ( 'author' => 'Hassan A\\"\\it-Kaci and Andreas Podelski', 'journal' => 'Journal of Logic Programming', 'key' => 'towardsLIFE', 'pages' => '195--234', 'title' => 'Towards a Meaning of LIFE', 'type' => 'article', 'volume' => '16', 'year' => '1993', ) array ( 'address' => '55 Science Drive 2, Singapore 117599', 'author' => 'Nicolas Beldiceanu and Warwick Harvey and Martin Henz and François Laburthe and Eric Monfroy and Tobias Müller and Laurent Perron and Christian Schulte, editors', 'institution' => 'School of Computing, National University of Singapore', 'key' => 'trics:2000', 'month' => 'sep', 'note' => 'available at http://techrep.comp.nus.edu.sg', 'number' => 'TRA9/00', 'title' => 'Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000', 'type' => 'Technical Report', 'year' => '2000', ) array ( 'author' => 'Martin Müller', 'howpublished' => 'unpublished', 'key' => 'typesafe', 'title' => 'Type-safe Programming with Constraints', 'type' => 'Misc', 'year' => '1998', ) array ( 'address' => 'Paris', 'author' => 'Van Hentenryck, P. and Michel, L. and Perron, L. and Régin, J.-C.', 'booktitle' => 'International Conference on Principles and Practice of Declarative Programming, PPDP\'99', 'key' => 'vanHentenryck1999', 'optnote' => '1608', 'title' => 'Constraint Programming in OPL', 'type' => 'inproceedings', 'year' => '1999', ) array ( 'address' => 'Toronto, Canada', 'author' => 'van Weert, Arjen and Scheuder Jan A. M.', 'booktitle' => 'Practice and Theory of Automated Timetabling II, Second International Conference, PATAT\'97', 'editor' => 'E. Burke and M. Carter', 'key' => 'vanWeert1998', 'optnote' => '1608', 'publisher' => 'Springer-Verlag, Berlin', 'series' => 'Lecture Notes in Computer Science  1408', 'title' => 'Construction of Basic Match Schedules for Sports Competitions by Using Graph Theory', 'type' => 'inproceedings', 'year' => '1998', ) array ( 'author' => 'Paul J. Voda', 'howpublished' => 'unpublished', 'key' => 'voda98a', 'title' => 'The constraint language trilogy: Semantics and computation', 'type' => 'Misc', ) array ( 'author' => 'Mark Wallace', 'journal' => 'Constraints', 'key' => 'wallace:96b', 'number' => '1&2', 'optnote' => 'xv', 'pages' => '139--168', 'publisher' => 'Kluwer Academic Publishers', 'title' => 'Practical Applications of Constraint Programming', 'type' => 'Article', 'volume' => '1', 'year' => '1996', ) array ( 'author' => 'J. Paul Walser', 'key' => 'walser:book', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Artificial Intelligence  1637', 'title' => 'Integer Optimization by Local Search, A Domain-Independent Approach', 'type' => 'book', 'year' => '1999', ) array ( 'author' => 'Joachim Paul Walser', 'key' => 'walser_phd:98', 'month' => 'aug', 'school' => 'Universität des Saarlandes, D 66041 Saarbrücken, Germany', 'title' => 'Domain-Independent Local Search for Linear Integer Optimization', 'type' => 'PHDTHESIS', 'year' => '1998', ) array ( 'author' => 'Toby Walsh', 'howpublished' => 'draft available at Walsh\'s home page at York', 'key' => 'walsh2000', 'title' => 'Reformulating Propostional Satisfiability as constraint Satisfaction', 'type' => 'Misc', 'year' => '2000', ) array ( 'address' => 'Cambridge, Massacussetts', 'author' => 'Benjamin Lee Whorf', 'editors' => 'J. B. Carroll', 'key' => 'whorf', 'publisher' => 'MIT Press', 'title' => 'Language, Thought and Reality', 'type' => 'book', 'year' => '1956', ) array ( 'author' => 'T. H. Willcocks', 'journal' => 'Journal of Recreational Mathematics', 'key' => 'willcocks68', 'keywords' => '', 'number' => '1', 'pages' => '225--233', 'title' => 'The Construction of Magic Knight Tours', 'type' => 'article', 'year' => '1968', ) array ( 'author' => 'Molly Wilson and A. Borning', 'journal' => 'Journal of Logic Programming', 'key' => 'wilson93', 'number' => '3/4', 'pages' => '277--319', 'title' => 'Hierarchical Constraint Logic Programming', 'type' => 'article', 'volume' => '16', 'year' => '1993', ) array ( 'author' => 'Robert A. Wilson', 'key' => 'wilson93b', 'month' => 'oct', 'publisher' => 'New Falcon Publications', 'title' => 'Quantum Psychology: How Brain Software Programs You and Your World', 'type' => 'book', 'year' => '1993', ) array ( 'author' => 'Armin Wolf', 'crossref' => 'jampel:book', 'editor' => 'Michael Jampel and Eugene Freuder and Michael Maher', 'key' => 'wolf96', 'pages' => '171--187', 'publisher' => 'Springer-Verlag', 'series' => 'Lecture Notes in Computer Science  1106', 'title' => 'Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems', 'type' => 'InCollection', 'year' => '1996', ) array ( 'address' => 'Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany', 'author' => 'Jörg Würtz', 'institution' => 'German Research Center for Artificial Intelligence (DFKI)', 'key' => 'wuertz:92a', 'month' => 'mar', 'note' => 'Short version appeared in the 1992 \\em European Conference on Artificial Intelligence, \\citewuertz:92b', 'number' => 'RR-92-22', 'title' => 'Unifying Cycles', 'type' => 'Research Report', 'year' => '1992', ) array ( 'address' => 'Vienna, Austria', 'author' => 'Jörg Würtz', 'booktitle' => '10th European Conference on Artificial Intelligence', 'editor' => 'Bernd Neumann', 'key' => 'wuertz:92b', 'month' => '3--7 aug', 'pages' => '60--64', 'publisher' => 'John Wiley & Sons', 'title' => 'Unifying Cycles', 'type' => 'InProceedings', 'year' => '1992', ) array ( 'address' => 'Santa Margherita Ligure, Italy', 'author' => 'Jörg Würtz', 'booktitle' => 'Workshop at ICLP: Verification and analysis of (concurrent) logic languages', 'editor' => 'F.S. de Boer and M. Gabbrielli', 'key' => 'wuertz:94c', 'month' => '17 jun', 'pages' => '87--107', 'title' => 'Towards the verification of concurrent constraint programs in the field of finite domain reasoning', 'type' => 'InProceedings', 'year' => '1994', ) array ( 'author' => 'Hirotaka Yamamoto and Kenjiro Taura and Akinori Yonezawa', 'booktitle' => 'Proceedings of Fourth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers (LCR98)', 'key' => 'yamamoto:98', 'note' => 'to be published by Springer-Verag in Lecture Notes in Computer Science series', 'title' => 'Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers', 'type' => 'InProceedings', 'year' => '1998', ) array ( 'author' => 'Roland H.C. Yap', 'howpublished' => 'draft', 'key' => 'yap98', 'title' => 'Parametric Sequence Alignment with Constraints', 'type' => 'Misc', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Yasuhiko Yokote and Mario Tokoro', 'booktitle' => 'Object-Oriented Concurrent Programming', 'editor' => 'Akinori Yonezawa and Mario Tokoro', 'key' => 'yokote:87', 'pages' => '129--158', 'publisher' => 'The MIT Press', 'title' => 'Concurrent Programming in ConcurrentSmalltalk', 'type' => 'incollection', 'year' => '1987', ) array ( 'address' => 'Cambridge, MA', 'author' => 'Akinori Yonezawa and Mario Tokoro', 'booktitle' => 'Object-Oriented Concurrent Programming', 'editor' => 'Akinori Yonezawa and Mario Tokoro', 'key' => 'yonezawa:tokoro:intro:87', 'pages' => '1--7', 'publisher' => 'The MIT Press', 'title' => 'Object-Oriented Concurrent Programming: An Introduction', 'type' => 'incollection', 'year' => '1987', ) array ( 'address' => 'Tokyo, Japan', 'author' => 'Kaoru Yoshida and Takashi Chikayama', 'booktitle' => 'Proceedings of the International Conference on Fifth Generation Computer Systems', 'key' => 'yoshida:88', 'pages' => '638--649', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'A\'UM---A Stream-Based Concurrent Object-Oriented Language', 'type' => 'InProceedings', 'year' => '1988', ) array ( 'author' => 'Wong Hiu Yung and Yuen Wing Seung and Kin Hong Lee and Philip Heng Wai Leong', 'booktitle' => 'Field-Programmable Logic and Applications', 'editor' => 'Patrick Lysaght and James Irvine and Reiner W. Hartenstein', 'key' => 'yung99', 'month' => '/', 'pages' => '526--531', 'publisher' => 'Springer-Verlag, Berlin', 'title' => 'A Runtime Reconfigurable Implementation of the GSAT algorithm', 'type' => 'inproceedings', 'url' => 'citeseer.nj.nec.com/wong99runtime.html', 'year' => '1999', )