1. CPAIOR 2004: Nice, France

• Christos T. Maravelias, Ignacio E. Grossmann:
  Using MILP and CP for the Scheduling of Batch Chemical Processes. 1-20
  Electronic Edition (link) BibTeX
• Ionut D. Aron, John N. Hooker, Tallys H. Yunes:
  SIMPL: A System for Integrating Optimization Techniques. 21-36
  Electronic Edition (link) BibTeX
• Christian Artigues, Sana Belmokhtar, Dominique Feillet:
  A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times. 37-49
  Electronic Edition (link) BibTeX
• J. Christopher Beck, Eugene C. Freuder:
  Simple Rules for Low-Knowledge Algorithm Selection. 50-64
  Electronic Edition (link) BibTeX
• Nicolas Beldiceanu, Irit Katriel, Sven Thiel:
  Filtering Algorithms for the Same Constraint. 65-79
  Electronic Edition (link) BibTeX
• Nicolas Beldiceanu, Thierry Petit:
  Cost Evaluation of Soft Global Constraints. 80-95
  Electronic Edition (link) BibTeX
• Alberto Bemporad, Nicolò Giorgetti:
  SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems. 96-111
  Electronic Edition (link) BibTeX
• Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim:
  Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. 112-126
  Electronic Edition (link) BibTeX
• Yingyi Chu, Quanshi Xia:
  Generating Benders Cuts for a General Class of Integer Programming Problems. 127-141
  Electronic Edition (link) BibTeX
• Mattias Grönkvist:
  A Constraint Programming Model for Tail Assignment. 142-156
  Electronic Edition (link) BibTeX
• Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
  Super Solutions in Constraint Programming. 157-172
  Electronic Edition (link) BibTeX
• Olli Kamarainen, Hani El Sakkout:
  Local Probing Applied to Network Routing. 173-189
  Electronic Edition (link) BibTeX
• Irit Katriel:
  Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights. 190-199
  Electronic Edition (link) BibTeX
• Waldemar Kocjan, Per Kreuger:
  Filtering Methods for Symmetric Cardinality Constraint. 200-208
  Electronic Edition (link) BibTeX
• Olivier Lhomme:
  Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints. 209-224
  Electronic Edition (link) BibTeX
• Laurent Perron, Paul Shaw:
  Combining Forces to Solve the Car Sequencing Problem. 225-239
  Electronic Edition (link) BibTeX
• Cédric Pralet, Gérard Verfaillie:
  Travelling in the World of Local Searches in the Space of Partial Assignments. 240-255
  Electronic Edition (link) BibTeX
• Cristina Ribeiro, Maria Antónia Carravilla:
  A Global Constraint for Nesting Problems. 256-270
  Electronic Edition (link) BibTeX
• Barbara M. Smith, Karen E. Petrie, Ian P. Gent:
  Models and Symmetry Breaking for 'Peaceable Armies of Queens'. 271-286
  Electronic Edition (link) BibTeX
• Sébastien Sorlin, Christine Solnon:
  A Global Constraint for Graph Isomorphism Problems. 287-302
  Electronic Edition (link) BibTeX
• Armagan Tarim, Ian Miguel:
  Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. 302-318
  Electronic Edition (link) BibTeX
• Pascal Van Hentenryck, Laurent Michel:
  Scheduling Abstractions for Local Search. 319-334
  Electronic Edition (link) BibTeX
• Petr Vilím:
  O(n log n) Filtering Algorithms for Unary Resource Constraint. 335-347
  Electronic Edition (link) BibTeX
• Quanshi Xia, Andrew Eremin, Mark Wallace:
  Problem Decomposition for Traffic Diversions. 348-363
  Electronic Edition (link) BibTeX
• Gautam Appa, Dimitris Magos, Ioannis Mourtos:
  LP Relaxations of Multiple all_different Predicates. 364-369
  Electronic Edition (link) BibTeX
• Ayoub Insa Corréa, André Langevin, Louis-Martin Rousseau:
  Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming. 370-379
  Electronic Edition (link) BibTeX
• Cormac Gebruers, Alessio Guerri, Brahim Hnich, Michela Milano:
  Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework. 380-386
  Electronic Edition (link) BibTeX
• Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es:
  The Challenge of Generating Spatially Balanced Scientific Experiment Designs. 387-394
  Electronic Edition (link) BibTeX
• Gerrit Renker, Hatem Ahriz:
  Building Models through Formal Specification. 395-401
  Electronic Edition (link) BibTeX
• Louis-Martin Rousseau:
  Stabilization Issues for Constraint Programming Based Column Generation. 402-408
  Electronic Edition (link) BibTeX
• Ruslan Sadykov:
  A Hybrid Branch-And-Cut Algorithm for the One-Machine Scheduling Problem. 409-415
  Electronic Edition (link) BibTeX