| 2005 | From Linear Relaxations to Global Constraint Propagation. | Claude-Guy Quimper, Alejandro Lpez-Ortiz |
| 2005 | Speeding Up Constrained Path Solvers with a Reachability Propagator. | Luis Quesada, Peter Van Roy, Yves Deville |
| 2005 | Breaking All Value Symmetries in Surjection Problems. | Jean-Francois Puget |
| 2005 | Automatic Detection of Variable and Value Symmetries. | Jean-Francois Puget |
| 2005 | Extremal CSPs. | Nicolas Prcovic |
| 2005 | Uncertainty in Soft Constraint Problems. | Maria Silvia Pini, Francesca Rossi |
| 2005 | Approximations in Distributed Optimization. | Adrian Petcu, Boi Faltings |
| 2005 | SPREAD: A Balancing Constraint Based on Statistics. | Gilles Pesant, Jean-Charles Rgin |
| 2005 | Alternate Modeling in Sport Scheduling. | Laurent Perron |
| 2005 | Generating Corrective Explanations for Interactive Constraint Satisfaction. | Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder |
| 2005 | Consistency for Quantified Constraint Satisfaction Problems. | Peter Nightingale |
| 2005 | Randomization for Multi-agent Constraint Optimization. | Quang Nguyen, Boi Faltings |
| 2005 | Random Stimuli Generation for Functional Hardware Verification as a CP Application. | Yehuda Naveh, Roy Emek |
| 2005 | GOOSE - A Generic Object-Oriented Search Environment. | Henry Mller, Stefan Jhnichen |
| 2005 | Test Instance Generation for MAX 2SAT. | Mistuo Motoki |
| 2005 | The Comet Programming Language and System. | Laurent Michel, Pascal Van Hentenryck |
| 2005 | Parallel Local Search in Comet. | Laurent Michel, Pascal Van Hentenryck |
| 2005 | Probabilistic Arc Consistency. | Deepak Mehta, Marc R. C. van Dongen |
| 2005 | A BDD-Based Interactive Configurator for Modular Systems. | Erik Meer |
| 2005 | AND/OR Search Spaces and the Semantic Width of Constraint Networks. | Robert Mateescu, Rina Dechter |
| 2005 | Weak Symmetries in Problem Formulations. | Roland Martin, Karsten Weihe |
| 2005 | AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems. | Radu Marinescu, Rina Dechter |
| 2005 | Generalized Conflict Learning for Hybrid Discrete/Linear Optimization. | Hui Li, Brian Williams |
| 2005 | Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. | Chu Min Li, Felip Many, Jordi Planes |
| 2005 | Partial Redundant Modeling. | Tiziana Ligorio, Susan L. Epstein |