Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

511 Pages·1999·6.91 MB·English

by  Krzysztof R. Apt (auth.)

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