Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings PDF
Preview Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings
Lecture Notes in Computer Science 1713 Editedby G.Goos,J. Hartmanisand J.van Leeuwen Berlin Heidelberg NewYork Barcelona HongKong London Milan Paris Singapore Tokyo Joxan Jaffar (Ed.) Principles and Practice of Constraint Programming – CP’99 5th International Conference, CP’99 Alexandria, VA, USA, October 11-14, 1999 Proceedings SeriesEditors GerhardGoos,KarlsruheUniversity,Germany JurisHartmanis,CornellUniversity,NY,USA JanvanLeeuwen,UtrechtUniversity,TheNetherlands VolumeEditor JoxanJaffar SchoolofComputing,NationalUniversityofSingapore 3ScienceDrive2,Singapore,RepublicofSingapore117543 E-mail:[email protected] Cataloging-in-Publicationdataappliedfor DieDeutscheBibliothek-CIP-Einheitsaufnahme Principlesandpracticeofconstraintprogramming:5thinternationalconference ; proceedings / CP ’99, Alexandria, VA, USA, October 11 - 14, 1999 / Joxan Jaffar(ed.).-Berlin;Heidelberg;NewYork;Barcelona;HongKong;London ;Milan;Paris;Singapore;Tokyo:Springer,1999 (Lecturenotesincomputerscience;Vol.1713) ISBN3-540-66626-5 CRSubjectClassification(1998):D.1,D.3.2-3,I.2.3-4,F.3.2,F.4.1,I.2.8 ISSN0302-9743 ISBN3-540-66626-5Springer-VerlagBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare liableforprosecutionundertheGermanCopyrightLaw. (cid:1)c Springer-VerlagBerlinHeidelberg1999 PrintedinGermany Typesetting:Camera-readybyauthor SPIN10705084 06/3142–543210 Printedonacid-freepaper Preface ThisistheconferencerecordfortheFifthInternationalConferenceonPrinciples and Practice of ConstraintProgramming(CP’99), held in Alexandria,Virginia, USA, on October 11–14, 1999. The series of CP conferences deal with original papers on most aspects of constraint programming. After a few annual work- shops, CP’95 took place in Cassis,France, CP’96 in Cambridge,USA, CP’97 in Schloss Hagenberg, Austria, and CP’98 in Pisa, Italy. Thisyearatotalof97papersweresubmitted,and30wereacceptedasregular papers.Inaddition,therewerethreeinvitedpapers,byKrzysztofApt,Christian Bessi`erreandBenjaminWah, andeightposterpapers,included to showcaseyet more interesting directions. The posters appear as short papers in this volume. In the conference, there was an invited tutorial, and following the conference, there were five workshops. All papers were reviewed by an excellent program committeeandtheirdesignatedreferees.Detailedemaildiscussionsprecededthe actualprogramcommitteemeeting,whichwasheldneartheconferencelocation in mid-July, 1999. The CP conferences have had two major directions: constraint satisfaction problems and programmingwith constraints.This year,the submission/accept- ancebreakdownwassubjectivelyestimatedat56/19and33/8,respectively,with the remaining ratio of 8/3 for application papers. The regional distribution of (first) authors for all submissions was 21 for France, 15 for Germany, 12 for USA, 7 for UK, 6 for Japan, 5 for Spain, 4 for Australia and Singapore, 3 each for Italy, Portugal, Sweden, and Switzerland, 2 for Canada and Belgium, and finally,oneeachforGreece,Finland,HongKong,Indonesia,Ireland,Korea,and the Netherlands. Last,butcertainlynotleastofall,muchisowedtotheorganizationalskillsof theCP’99GeneralChairmanAlexBrodsky.WearealsoindebtedtoSeanWang, thePublicityChair,andJimmyLee,theWorkshopsandTutorialsChair.Finally, I would like to say a special thank you to Zhang Yuanlin who was instrumental in setting up and running the web-based review system, and to R˘azvan Voicu for editorial help. August 1999 Joxan Jaffar ProgramChair CP’99 Organization Conference Chair: Alex Brodsky, George Mason University, USA ProgramChair: JoxanJaffar,NationalUniversity ofSingapore, Singapore Publicity Chair: X. Sean Wang, George Mason University, USA Workshop Chair: Jimmy Lee, Chinese University of Hong Kong, Hong Kong Program Committee Alexander Bockmayr,Universite Henri Poincare,Nancy 1, France Roberto Bayardo,IBM Almaden Research Center, USA Rina Dechter, University of California, Irvine, USA Franc¸ois Fages, Ecole Normal Supierieure, France Boi Faltings, Federal Institute of Technology, Lausanne, Switzerland Thom Fru¨hwirth, Ludwig Maximilians University, Germany Vineet Gupta, NASA Ames Research Center, USA Nevin Heintze, Lucent Bell Laboratories,USA Joxan Jaffar (Chair), National University of Singapore, Singapore Claude Kirchner, LORIA & INRIA, France Jimmy Lee, Chinese University of Hong Kong, Hong Kong Claude Le Pape, Bouygues Telecom - R&D, France Thomas Schiex, INRA Toulouse, France Bart Selman, Cornell University, USA Helmut Simonis, Cosytec, France Edward Tsang, University of Essex, UK Kazunori Ueda, Waseda University, Japan Peter Van Beek, University of Alberta, Canada Mark Wallace, Imperial College, UK Toby Walsh, University of Strathclyde, Scotland Organization VII Referees Slim Abdennadher C. Gaspin Irina Rish Farid Ajili Tim Geisler Gianfranco Rossi Rolf Backofen Frederic Goualard Benoit Rottembourg Roberto Bayardo Vineet Gupta Fabrice Rouillier N. Beldiceanu Nevin Heintze Vincent Schachter Frederic Benhamouand Miki Hermann Thomas Schiex Christian Bessi`ere Christian Holzbaur J. Schimpf Alexander Bockmayr Yeh Hong-ming Eddie Schwalb Patrice Boizumault Joxan Jaffar Luc Segoufin James Borrett Kalev Kask Bart Selman E. Bourreau Thomas Kasper Kish Shen Alex Brodsky Claude Kirchner Helmut Simonis Bjorn Carlson Alvin Kwan Barbara Smith Carlos Castro Franc¸ois Laburthe GeorgiosStephanopoulos Emmanuel Chailloux Javier Larrosa Kostas Stergiou Franc¸ois Charpillet Tung-Leng Lau Paul Strooper Hoong Chuin Lau Claude Le Pape Shin Takahashi Angelo Ciarlini Jimmy Lee Vincent Tam Hora¸tiu Cˆırstea Philip Leong Kazunori Ueda Andrew Davenport Allen Leung Peter Van Beek Romuald Debruyne Ho-fung Leung G. Verfaillie Rina Dechter Bing Liu R˘azvan Voicu Didier Dubois C. Lottaz Benjamin Wah H. El Sakkout David McAllester Mark Wallace Andrew Eremin P. Meseguer Toby Walsh Franc¸ois Fages S. Novello Armin Wolf Boi Faltings Stefano Novello Limsoon Wong Miguel Filgueiras Patrick Prosser Quanshi Xia Dominique Fortin Alessandra Raffaeta Roland Yap Jeremy Frank Rafael Ramirez Yuanlin Zhang Dan Frost A. Rauzy Jianyang Zhou Thom Fru¨hwirth Peter Revesz VIII Organization CP Organizing Committee Alan Borning, University of Washington, USA Jacques Cohen, Brandeis University, USA Alain Colmerauer, University of Marseille, France Eugene Freuder, Chair, University of New Hampshire, USA Herv´e Gallaire, Xerox, France Jean-Pierre Jouannaud, University of Paris-Sud, France Jean-Louis Lassez, New Mexico Institute of Technology, USA Michael Maher, Griffith University, Australia Ugo Montanari, University of Pisa, Italy Anil Nerode, Cornell University, USA Jean-Franc¸ois Puget, ILOG, France Francesca Rossi, University of Padova, Italy Vijay Saraswat, AT&T Research, USA Gert Smolka, DFKI and University of the Saarland, Germany Ralph Wachter, Office of Naval Research, USA Sponsors Support from following institutions is gratefully acknowledged. George Mason University, USA Center for Secure Information Systems (GMU), USA IC-Parc (ECliPSe project), UK NASA Ames Research Center, USA Office of Naval Research, USA Prologia,France Table of Contents Invited Papers The Rough Guide to Constraint Propagation ............................... 1 Krzysztof R. Apt Non-binary Constraints ................................................... 24 Christian Bessi`ere The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization ............................................................. 28 Benjamin W. Wah and Zhe Wu Regular Papers Operational Equivalence of CHR Programsand Constraints ............... 43 Slim Abdennadher and Thom Fru¨hwirth Automatic Generation of Constraint PropagationAlgorithms for Small Finite Domains ........................................................... 58 Krzysztof R. Apt and Eric Monfroy Excluding Symmetries in Constraint Based Search ........................ 73 Rolf Backofen and Sebastian Will On Forward Checking for Non-binary Constraint Satisfaction .............. 88 Christian Bessi`ere, Pedro Meseguer, Eugene C. Freuder and Javier Larrosa Enforcing Arc Consistency on Global Constraints by solving subCSPs on the Fly ............................................................... 103 Christian Bessi`ere and Jean-Charles R´egin Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP .................................................................. 118 Marcus Bja¨reland and Peter Jonsson Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time ...................................................... 129 Mathias Broxvall and Peter Jonsson A Meta-Heuristic Factory for Vehicle Routing Problems .................. 144 Yves Caseau, Franc¸ois Laburthe and Glenn Silverstein
Description:The list of books you might like
