| 2005 | Factor Analytic Studies of CSP Heuristics. | Richard Wallace |
| 2005 | Solving Large-Scale Nonlinear Programming Problems by Constraint Partitioning. | Benjamin W. Wah, Yixin Chen |
| 2005 | Robust Constraint Solving Using Multiple Heuristics. | Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck |
| 2005 | Solving Simple Planning Problems with More Inference and No Search. | Vincent Vidal, Hector Geffner |
| 2005 | Bounds-Consistent Local Search. | Stefania Verachi, Steven D. Prestwich |
| 2005 | Specialised Constraints for Stable Matching Problems. | Chris Unsworth, Patrick Prosser |
| 2005 | Handling Implication and Universal Quantification Constraints in FLUX. | Michael Thielscher |
| 2005 | Encoding HTN Planning as a Dynamic CSP. | Pavel Surynek, Roman Bartk |
| 2005 | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | Repair-Based Methods for Quantified CSPs. | Kostas Stergiou |
| 2005 | Caching Search States in Permutation Problems. | Barbara M. Smith |
| 2005 | Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. | Carsten Sinz |
| 2005 | Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming. | Kish Shen, Joachim Schimpf |
| 2005 | On Solving Soft Temporal Constraints Using SAT Techniques. | Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack |
| 2005 | Approximated Consistency for the Automatic Recording Problem. | Meinolf Sellmann |
| 2005 | Views and Iterators for Generic Constraint Implementations. | Christian Schulte, Guido Tack |
| 2005 | Tree Decomposition with Function Filtering. | Mart Snchez-Fibla, Javier Larrosa, Pedro Meseguer |
| 2005 | Using SAT in QBF. | Horst Samulowitz, Fahiem Bacchus |
| 2005 | Preference Reasoning. | Francesca Rossi |
| 2005 | Depth-First Mini-Bucket Elimination. | Emma Rollon, Javier Larrosa |
| 2005 | Boosting Distributed Constraint Satisfaction. | Georg Ringwelski, Youssef Hamadi |
| 2005 | Weak Composition for Qualitative Spatial and Temporal Reasoning. | Jochen Renz, Grard Ligozat |
| 2005 | Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost. | Jean-Charles Rgin |
| 2005 | AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm. | Jean-Charles Rgin |
| 2005 | Beyond Finite Domains: The All Different and Global Cardinality Constraints. | Claude-Guy Quimper, Toby Walsh |