2. CPAIOR 2005: Prague, Czech Republic

Roman Barták, Michela Milano (Eds.): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings. Lecture Notes in Computer Science 3524 Springer 2005, ISBN 3-540-26152-4 BibTeX

Invited Papers

Thomas Bousonville, Filippo Focacci, Claude Le Pape, Wim Nuijten, Frederic Paulin, Jean-Francois Puget, Anna Robert, Alireza Sadeghin:
Integration of Rules and Optimization in Plant PowerOps. 1-15
Electronic Edition (link) BibTeX
Paul Pop:
Embedded Systems Design: Optimization Challenges. 16-16
Electronic Edition (link) BibTeX
H. P. Williams:
Models for Solving the Travelling Salesman Problem. 17-18
Electronic Edition (link) BibTeX

Technical Papers

Magnus Ågren, Pierre Flener, Justin Pearson:
Set Variables and Local Search. 19-33
Electronic Edition (link) BibTeX
Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth:
The Temporal Knapsack Problem and Its Solution. 34-48
Electronic Edition (link) BibTeX
Andreas Bauer:
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. 49-63
Electronic Edition (link) BibTeX
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca:
The tree Constraint. 64-78
Electronic Edition (link) BibTeX
Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Filtering Algorithms for the NValue Constraint. 79-93
Electronic Edition (link) BibTeX
Hadrien Cambazard, Narendra Jussien:
Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming. 94-109
Electronic Edition (link) BibTeX
Yingyi Chu, Quanshi Xia:
A Hybrid Algorithm for a Class of Resource Constrained Scheduling Problems. 110-124
Electronic Edition (link) BibTeX
Wilhelm Cronholm, Farid Ajili, Sofia Panagiotidi:
On the Minimal Steiner Tree Subproblem and Its Application in Branch-and-Price. 125-139
Electronic Edition (link) BibTeX
Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau:
Constraint Programming Based Column Generation for Employee Timetabling. 140-154
Electronic Edition (link) BibTeX
Iván Dotú, Pascal Van Hentenryck:
Scheduling Social Golfers Locally. 155-167
Electronic Edition (link) BibTeX
Khaled M. Elbassioni, Irit Katriel:
Multiconsistency and Robustness with Global Constraints. 168-182
Electronic Edition (link) BibTeX
Jeremy Frank, Elif Kürklü:
Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations. 183-200
Electronic Edition (link) BibTeX
Thorsten Gellermann, Meinolf Sellmann, Robert Wright:
Shorter Path Constraints for the Resource Constrained Shortest Path Problem. 201-216
Electronic Edition (link) BibTeX
Bernard Gendron, Hocine Lebbah, Gilles Pesant:
Improving the Cooperation Between the Master Problem and the Subproblem in Constraint Programming Based Column Generation. 217-227
Electronic Edition (link) BibTeX
Jesper Hansen, Tomas Lidén:
Group Construction for Airline Cabin Crew: Comparing Constraint Programming with Branch and Price. 228-242
Electronic Edition (link) BibTeX
John N. Hooker:
A Search-Infer-and-Relax Framework for Integrating Solution Methods. 243-257
Electronic Edition (link) BibTeX
Mohand Ou Idir Khemmoudj, Hachemi Bennaceur, Anass Nagih:
Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs. 258-272
Electronic Edition (link) BibTeX
Steven David Prestwich, Andrea Roli:
Symmetry Breaking and Local Search Spaces. 273-287
Electronic Edition (link) BibTeX
Jean-Charles Régin:
Combination of Among and Cardinality Constraints. 288-303
Electronic Edition (link) BibTeX
T. K. Satish Kumar:
On the Tractability of Smooth Constraint Satisfaction Problems. 304-319
Electronic Edition (link) BibTeX
Hossein M. Sheini, Karem A. Sakallah:
A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems. 320-335
Electronic Edition (link) BibTeX
Barbara M. Smith:
Symmetry and Search in a Network Design Problem. 336-350
Electronic Edition (link) BibTeX
Sathiamoorthy Subbarayan:
Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems. 351-365
Electronic Edition (link) BibTeX
Michael A. Trick:
Formulations and Reformulations in Integer Programming. 366-379
Electronic Edition (link) BibTeX
Pascal Van Hentenryck, Laurent Michel:
Nondeterministic Control for Hybrid Search. 380-395
Electronic Edition (link) BibTeX
Petr Vilím:
Computing Explanations for the Unary Resource Constraint. 396-409
Electronic Edition (link) BibTeX