| 2005 | A Hybrid Algorithm for a Class of Resource Constrained Scheduling Problems. Yingyi Chu, Quanshi Xia |
| 2005 | A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems. Hossein M. Sheini, Karem A. Sakallah |
| 2005 | A Search-Infer-and-Relax Framework for Integrating Solution Methods. John N. Hooker |
| 2005 | Combination of Among and Cardinality Constraints. Jean-Charles Régin |
| 2005 | Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs. Mohand Ou Idir Khemmoudj, Hachemi Bennaceur, Anass Nagih |
| 2005 | Computing Explanations for the Unary Resource Constraint. Petr Vilím |
| 2005 | Constraint Programming Based Column Generation for Employee Timetabling. Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau |
| 2005 | Embedded Systems Design: Optimization Challenges. Paul Pop |
| 2005 | Filtering Algorithms for the NValue Constraint. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2005 | Formulations and Reformulations in Integer Programming. Michael A. Trick |
| 2005 | Group Construction for Airline Cabin Crew: Comparing Constraint Programming with Branch and Price. Jesper Hansen, Tomas Lidén |
| 2005 | Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming. Hadrien Cambazard, Narendra Jussien |
| 2005 | Improving the Cooperation Between the Master Problem and the Subproblem in Constraint Programming Based Column Generation. Bernard Gendron, Hocine Lebbah, Gilles Pesant |
| 2005 | Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems. Sathiamoorthy Subbarayan |
| 2005 | 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 Roman Barták, Michela Milano |
| 2005 | Integration of Rules and Optimization in Plant PowerOps. Thomas Bousonville, Filippo Focacci, Claude Le Pape, Wim Nuijten, Frederic Paulin, Jean-Francois Puget, Anna Robert, Alireza Sadeghin |
| 2005 | Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations. Jeremy Frank, Elif Kürklü |
| 2005 | Models for Solving the Travelling Salesman Problem. H. Paul Williams |
| 2005 | Multiconsistency and Robustness with Global Constraints. Khaled M. Elbassioni, Irit Katriel |
| 2005 | Nondeterministic Control for Hybrid Search. Pascal Van Hentenryck, Laurent Michel |
| 2005 | On the Minimal Steiner Tree Subproblem and Its Application in Branch-and-Price. Wilhelm Cronholm, Farid Ajili, Sofia Panagiotidi |
| 2005 | On the Tractability of Smooth Constraint Satisfaction Problems. T. K. Satish Kumar |
| 2005 | Scheduling Social Golfers Locally. Iván Dotú, Pascal Van Hentenryck |
| 2005 | Set Variables and Local Search. Magnus Ågren, Pierre Flener, Justin Pearson |
| 2005 | Shorter Path Constraints for the Resource Constrained Shortest Path Problem. Thorsten Gellermann, Meinolf Sellmann, Robert Wright |
| 2005 | Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. Andreas Bauer |
| 2005 | Symmetry Breaking and Local Search Spaces. Steven D. Prestwich, Andrea Roli |
| 2005 | Symmetry and Search in a Network Design Problem. Barbara M. Smith |
| 2005 | The Temporal Knapsack Problem and Its Solution. Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth |
| 2005 | The tree Constraint. Nicolas Beldiceanu, Pierre Flener, Xavier Lorca |