1. CPAIOR 2004: Nice, France
- Jean-Charles Régin, Michel Rueher:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings. Lecture Notes in Computer Science 3011, Springer 2004, ISBN 3-540-21836-X - Christos T. Maravelias, Ignacio E. Grossmann:
Using MILP and CP for the Scheduling of Batch Chemical Processes. 1-20 - Ionut D. Aron, John N. Hooker, Tallys H. Yunes:
SIMPL: A System for Integrating Optimization Techniques. 21-36 - Christian Artigues, Sana Belmokhtar, Dominique Feillet:
A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times. 37-49 - Alberto Bemporad, Nicolò Giorgetti:
SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems. 96-111 - Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim:
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. 112-126 - Yingyi Chu, Quanshi Xia:
Generating Benders Cuts for a General Class of Integer Programming Problems. 127-141 - Olivier Lhomme:
Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints. 209-224 - Cédric Pralet, Gérard Verfaillie:
Travelling in the World of Local Searches in the Space of Partial Assignments. 240-255 - Barbara M. Smith, Karen E. Petrie, Ian P. Gent:
Models and Symmetry Breaking for 'Peaceable Armies of Queens'. 271-286 - Armagan Tarim, Ian Miguel:
Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. 302-318 - Gautam Appa, Dimitris Magos, Ioannis Mourtos:
LP Relaxations of Multiple all_different Predicates. 364-369 - 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 - Cormac Gebruers, Alessio Guerri, Brahim Hnich, Michela Milano:
Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework. 380-386 - Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es:
The Challenge of Generating Spatially Balanced Scientific Experiment Designs. 387-394 - Louis-Martin Rousseau:
Stabilization Issues for Constraint Programming Based Column Generation. 402-408