cp 2002 - cornell university 02 poster 73002.pdf · pedro barahona nicolas beldiceanu frédéric...

Sponsors: AAAI

InnovativeHelmut Simo

Program Committee:

Comp. Symp. on Graph Coloring Chairs: David Johnson, Anuj Mehrotra, Michael Trick

Doctoral Prog. Chair: Francesca Rossi

Program Chair: Pascal Van Hentenr

Conference Chair: Carla Gomes

Pedro Meseguer George NemhauserBarry O’Sullivan Gilles Pesant Jochen Renz Francesca Rossi Michel Rueher Christian Schulte

Hubert Comon M.García de la BandaHector Geffner Ian Gent Carla Gomes Martin Henz John Hooker Richard Korf

Slim Abdennadher Fahiem Bacchus Pedro Barahona Nicolas Beldiceanu Frédéric Benhamou Alexander Bockmayr Mats Carlsson Philippe Codognet

Edmund Clarke (CMU) Rina Dechter (UC Irvine) Jean-LGeorge Nemhauser (Georgia

CP 200288tthh IInntteerrnnaattiioonnaall CCoonnffeerreennccee oonn

PPrriinncciipplleess aanndd PPrraaccttiicceeooff

Cornell Univwww.cs.c

CCoonnssttrraaiinnttPPrrooggrraammmmiinngg

Col

orin

g by

Jon

atha

n M

. Gom

es S

elm

an

September 8–13ersity, Ithaca, NYornell.edu/cp2002

Publicity Chair: Ramon Béjar

Prog. Chair:nis

yck

Workshop Chair: Peter van Beek

Association

for Logic

Programming

Bart Selman Pascal Van Hentenryck Moshe Vardi Gérard Verfaillie Mark Wallace Joachim Paul WalserBrian Williams Makoto Yokoo

Local Arrangements: Beth Howard

Invited Speakers:ouis Lassez (Coastal Carolina Univ.)

Tech.) David Shmoys (Cornell Univ.)