DIMACS Workshop on Constraint Programming and Large Scale Discrete Optimization
September 14 - 17, 1998
DIMACS Center, CoRE Building, Rutgers University, Piscataway, NJ
- Organizers:
- Eugene C. Freuder, University of New Hampshire, Computer Science Department, ecf@cs.unh.edu
- Richard J. Wallace, University of New Hampshire, Computer Science Department, rjw@cs.unh.edu
Presented under the auspices of the DIMACS Special Year on Large Scale Discrete Optimization.
Workshop Program:
Monday, September 14, 1998
8:00 - 9:00 Continental breakfast
9:00 - 9:05 Welcome
Eugene Freuder and Richard Wallace, Workshop Co-Chairs
9:05 - 10:30 Constraint Programming.
Constraint programming languages for combinatorial optimization
Pascal Van Hentenryck, Brown University
10:30 - 11:00 coffee break
11:00 - 12:30 Local Search.
Guided local search joins the elite in discrete optimization
C. Voudrais, British Telecommunications and Edward Tsang,
University of Essex
Using global constraints for local search
Alexander Nareyek, GMD
Directed annealing search
Li Yinghao and Barry Richards, IC-Parc
12:30 - 2:00 Lunch
2:00 - 3:30 Far and Farther.
The role of optimization and deduction in reactive
systems, and its demonstration within the fully
autonomous, Deep Space One probe
Brian Williams, NASA Ames
Search algorithms for quantum computing
Tad Hogg, Xerox Parc
3:30 - 4:00 coffee break
4:00 - 5:30 Benchmarks.
CSPLib: A benchmark library for constraints?
Bart Selman, Cornell University and Toby Walsh, Strathclyde
5:30 Reception
Tuesday, September 15, 1998
8:00 - 9:00 Continental breakfast
9:00 - 10:30 OR/AI.
Integration of artificial intelligence and operations
research techniques
Ken McAloon and Carol Tretkoff, CUNY and ILOG
Carla Gomes, Cornell University
10:30 - 11:00 coffee break
11:00 - 12:30 Operations Research.
Branch-and-infer: A unifying framework for integer and
finite domain constraint programming
Alexander Bockmayr, Max-Planck at Saarbruecken
Symbolic constraints in integer programming
Thomas Kasper, Max-Planck at Saarbruecken
Multithreaded constraint programming: A hybrid approach
Fabian Zabatta, CUNY
12:30 - 2:00 Lunch
2:00 - 3:30 Hybrid Algorithms.
Hybrid algorithms for industrial problems: The CHIC2
experience
Vassilis Liatsos, IC-Parc
Tibor Kokeny, Bouygues
3:30 - 4:00 coffee break
4:00 - 5:30 Methodology.
A methodology for large scale optimization problems:
the CHIC2 experience
Carmen Gervet, IC-Parc
6:00 Dinner at DIMACS
Wednesday, September 16, 1998
8:00 - 9:00 Continental breakfast
9:00 - 10:30 Algorithmics.
On the average case behavior of bin packing algorithms
David Johnson, ATT Research
10:30 - 11:00 coffee break
11:00 - 12:30 AI.
Using constraint satisfaction for course of
action analysis
Russell Richardson et al, SAIC and DARPA
Solution stability as an optimization problem
Richard Wallace and Eugene Freuder,
University of New Hampshire
Speeding up search by exploiting randomization
Carla Gomes and Bart Selman, Cornell University
12:30 - 2:00 Lunch
2:00 - 3:30 CSP.
Valued constraint satisfaction problems:
A framework for representing, analyzing and
solving overconstrained problems
Thomas Schiex, INRA at Toulouse
3:30 - 4:00 coffee break
4:00 - 5:30 Industry.
Industrial applications of large scale optimization
James Crawford, i2 Technologies
Mark Boddy, Honeywell Technology Center
Helmut Simonis, Cosytec
Thursday, September 17, 1998
8:00 - 9:00 Continental breakfast
9:00 - 10:30 Scheduling I.
Minimization of the number of breaks in sports
scheduling problems using constraint programming
Jean-Charles Regin, ILOG
A system for train crew scheduling
Helmut Simonis and Phillipe Charlier, Cosytec
A constraint programming pre-processor for a bus
driver scheduling system
Barbara Smith, Colin Layfield and Anthony Wren,
University of Leeds
10:30 - 11:00 coffee break
11:00 - 12:30 Scheduling II.
Metalogic constraint programming tool for scheduling
of broadcast commercials
Boris Galitsky, DIMACS
Personnel assignment as constraint satisfaction
Harald Meyer auf'M Hofe, DFKI
A constraint-based approach to satellite scheduling
Joseph Pemberton and Flavius Galiber III,
Pacific-Sierra Research
12:30 - 12:45 Closing remarks.
12:45 - 2:00 Lunch
Previous: Participation
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on September 4, 1998.