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.