| 2005 | 2-Way vs. d-Way Branching for CSP. Joey Hwang, David G. Mitchell |
| 2005 | A BDD-Based Interactive Configurator for Modular Systems. Erik Meer |
| 2005 | A Constraint Based Agent for TAC-SCM. David A. Burke, Kenneth N. Brown |
| 2005 | A Linear-Logic Semantics for Constraint Handling Rules. Hariolf Betz, Thom W. Frühwirth |
| 2005 | AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm. Jean-Charles Régin |
| 2005 | AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems. Radu Marinescu, Rina Dechter |
| 2005 | AND/OR Search Spaces and the Semantic Width of Constraint Networks. Robert Mateescu, Rina Dechter |
| 2005 | Acquiring Parameters of Implied Global Constraints. Christian Bessiere, Remi Coletta, Thierry Petit |
| 2005 | Ad-hoc Global Constraints for Life. Kenil C. K. Cheng, Roland H. C. Yap |
| 2005 | Advances in Polytime Isomorph Elimination for Configuration. Laurent Henocque, Mathias Kleiner, Nicolas Prcovic |
| 2005 | Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation. Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano |
| 2005 | Alternate Modeling in Sport Scheduling. Laurent Perron |
| 2005 | Applying Constraint Programming to Rigid Body Protein Docking. Ludwig Krippahl, Pedro Barahona |
| 2005 | Applying Decomposition Methods to Crossword Puzzle Problems. Yaling Zheng, Berthe Y. Choueiry |
| 2005 | Approximate Constrained Subgraph Matching. Stéphane Zampelli, Yves Deville, Pierre Dupont |
| 2005 | Approximated Consistency for the Automatic Recording Problem. Meinolf Sellmann |
| 2005 | Approximations in Distributed Optimization. Adrian Petcu, Boi Faltings |
| 2005 | Assumption-Based Pruning in Conditional CSP. Felix Geller, Michael Veksler |
| 2005 | Asymmetric Distributed Constraints Satisfaction Problems. Roie Zivan, Amnon Meisels |
| 2005 | Automated Search for Heuristic Functions. Pavel Cejnar, Roman Barták |
| 2005 | Automatic Detection of Variable and Value Symmetries. Jean-Francois Puget |
| 2005 | Beyond Finite Domains: The All Different and Global Cardinality Constraints. Claude-Guy Quimper, Toby Walsh |
| 2005 | Beyond Hypertree Width: Decomposition Methods Without Decompositions. Hubie Chen, Víctor Dalmau |
| 2005 | Boosting Distributed Constraint Satisfaction. Georg Ringwelski, Youssef Hamadi |
| 2005 | Bounds of Graph Characteristics. Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart |
| 2005 | Bounds-Consistent Local Search. Stefania Verachi, Steven D. Prestwich |
| 2005 | Breaking All Value Symmetries in Surjection Problems. Jean-Francois Puget |
| 2005 | CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. Grégoire Dooms, Yves Deville, Pierre Dupont |
| 2005 | Caching Search States in Permutation Problems. Barbara M. Smith |
| 2005 | CoJava: A Unified Language for Simulation and Optimization. Alexander Brodsky, Hadon Nash |
| 2005 | Computing Super-Schedules. Emmanuel Hebrard, Paul Tyler, Toby Walsh |
| 2005 | Computing and Exploiting Tree-Decompositions for Solving Constraint Networks. Philippe Jégou, Samba Ndiaye, Cyril Terrioux |
| 2005 | Conditional Symmetry Breaking. Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith |
| 2005 | Consistency for Partially Defined Constraints. Andrei Legtchenko, Arnaud Lallouet |
| 2005 | Consistency for Quantified Constraint Satisfaction Problems. Peter Nightingale |
| 2005 | Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference. Le Chang, Alan K. Mackworth |
| 2005 | Depth-First Mini-Bucket Elimination. Emma Rollon, Javier Larrosa |
| 2005 | Dimensioning an Inbound Call Center Using Constraint Programming. Cyril Canon, Jean-Charles Billaut, Jean-Louis Bouquard |
| 2005 | Distributed Constraints for Large-Scale Scheduling Problems. Montserrat Abril, Miguel A. Salido, Federico Barber |
| 2005 | Distributed Stable Matching Problems. Ismel Brito, Pedro Meseguer |
| 2005 | Domain Reduction for the Circuit Constraint. Latife Genç Kaya, John N. Hooker |
| 2005 | Dynamic Ordering for Asynchronous Backtracking on DisCSPs. Roie Zivan, Amnon Meisels |
| 2005 | Encoding HTN Planning as a Dynamic CSP. Pavel Surynek, Roman Barták |
| 2005 | Encoding Requests to Web Service Compositions as Constraints. Alexander Lazovik, Marco Aiello, Rosella Gennari |
| 2005 | Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming. Kish Shen, Joachim Schimpf |
| 2005 | Evolving Variable-Ordering Heuristics for Constrained Optimisation. Stuart Bain, John Thornton, Abdul Sattar |
| 2005 | Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. Chu Min Li, Felip Manyà, Jordi Planes |
| 2005 | Extending Systematic Local Search for Job Shop Scheduling Problems. Bistra Dilkina, Lei Duan, William S. Havens |
| 2005 | Extremal CSPs. Nicolas Prcovic |
| 2005 | Factor Analytic Studies of CSP Heuristics. Richard Wallace |
| 2005 | From Linear Relaxations to Global Constraint Propagation. Claude-Guy Quimper, Alejandro López-Ortiz |
| 2005 | Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains. Josef Zlomek, Roman Barták |
| 2005 | GOOSE - A Generic Object-Oriented Search Environment. Henry Müller, Stefan Jähnichen |
| 2005 | Generalized Conflict Learning for Hybrid Discrete/Linear Optimization. Hui Li, Brian Williams |
| 2005 | Generating Corrective Explanations for Interactive Constraint Satisfaction. Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder |
| 2005 | Graph Invariants as Necessary Conditions for Global Constraints. Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet |
| 2005 | Handling Implication and Universal Quantification Constraints in FLUX. Michael Thielscher |
| 2005 | Improved Algorithm for Finding (a, b)-Super Solutions. Emmanuel Hebrard, Toby Walsh |
| 2005 | Incremental Algorithms for Local Search from Existential Second-Order Logic. Magnus Ågren, Pierre Flener, Justin Pearson |
| 2005 | Integrating Benders Decomposition Within Constraint Programming. Hadrien Cambazard, Narendra Jussien |
| 2005 | Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs. Konstantin Artiouchine, Philippe Baptiste |
| 2005 | Interactive Reconfiguration in Power Supply Restoration. Tarik Hadzic, Henrik Reif Andersen |
| 2005 | Interval Analysis in Scheduling. Jérôme Fortin, Pawel Zielinski, Didier Dubois, Hélène Fargier |
| 2005 | LP as a Global Search Heuristic Across Different Constrainedness Regions. Lucian Leahu, Carla P. Gomes |
| 2005 | Local Consistency in Weighted CSPs and Inference in Max-SAT. Federico Heras, Javier Larrosa |
| 2005 | Lookahead Saturation with Restriction for SAT. Anbulagan, John K. Slaney |
| 2005 | Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost. Jean-Charles Régin |
| 2005 | Maintaining Longest Paths in Cyclic Graphs. Irit Katriel, Pascal Van Hentenryck |
| 2005 | Maximum Constraint Satisfaction on Diamonds. Andrei A. Krokhin, Benoît Larose |
| 2005 | Mechanism Design for Preference Aggregation over Coalitions. Eric I. Hsu, Sheila A. McIlraith |
| 2005 | Methods to Learn Abstract Scheduling Models. Tom Carchrae, J. Christopher Beck, Eugene C. Freuder |
| 2005 | Mind the Gaps: A New Splitting Strategy for Consistency Techniques. Heikel Batnini, Claude Michel, Michel Rueher |
| 2005 | Modeling Constraint Programs with Software Technology Standards. Matthias Hoche, Stefan Jähnichen |
| 2005 | Multi-point Constructive Search. J. Christopher Beck |
| 2005 | Neighbourhood Clause Weight Redistribution in Local Search for SAT. Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham |
| 2005 | OWL: A Description Logic Based Ontology Language. Ian Horrocks |
| 2005 | On Solving Soft Temporal Constraints Using SAT Techniques. Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack |
| 2005 | Parallel Local Search in Comet. Laurent Michel, Pascal Van Hentenryck |
| 2005 | Partial Redundant Modeling. Tiziana Ligorio, Susan L. Epstein |
| 2005 | Planning and Scheduling to Minimize Tardiness. John N. Hooker |
| 2005 | Preference Reasoning. Francesca Rossi |
| 2005 | Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings Peter van Beek |
| 2005 | Probabilistic Arc Consistency. Deepak Mehta, Marc R. C. van Dongen |
| 2005 | Programming with TOY(FD). Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez |
| 2005 | Proterv-II: An Integrated Production Planning and Scheduling System. András Kovács, Péter Egri, Tamás Kis, József Váncza |
| 2005 | Random Stimuli Generation for Functional Hardware Verification as a CP Application. Yehuda Naveh, Roy Emek |
| 2005 | Randomization for Multi-agent Constraint Optimization. Quang Nguyen, Boi Faltings |
| 2005 | Repair-Based Methods for Quantified CSPs. Kostas Stergiou |
| 2005 | Robust Constraint Solving Using Multiple Heuristics. Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck |
| 2005 | SPREAD: A Balancing Constraint Based on Statistics. Gilles Pesant, Jean-Charles Régin |
| 2005 | Scheduling Social Tournaments. Iván Dotú, Alvaro del Val, Pascal Van Hentenryck |
| 2005 | Scheduling with Uncertain Start Dates. Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck |
| 2005 | Search Heuristics and Heavy-Tailed Behaviour. Tudor Hulubei, Barry O'Sullivan |
| 2005 | Search and Inference in AI Planning. Hector Geffner |
| 2005 | Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems. Chris Houghton, David A. Cohen |
| 2005 | Solving Large-Scale Nonlinear Programming Problems by Constraint Partitioning. Benjamin W. Wah, Yixin Chen |
| 2005 | Solving Over-Constrained Problems with SAT. Josep Argelich, Felip Manyà |
| 2005 | Solving Simple Planning Problems with More Inference and No Search. Vincent Vidal, Hector Geffner |
| 2005 | Solving the Car-Sequencing Problem as a Non-binary CSP. Mihaela Butaru, Zineb Habbas |
| 2005 | Solving the MOLR and Social Golfers Problems. Warwick Harvey, Thorsten Jan Winterer |
| 2005 | Specialised Constraints for Stable Matching Problems. Chris Unsworth, Patrick Prosser |
| 2005 | Speeding Up Constrained Path Solvers with a Reachability Propagator. Luis Quesada, Peter Van Roy, Yves Deville |
| 2005 | Statistical Modelling of CSP Solving Algorithms Performance. Ramón Béjar, Cèsar Fernández, Carles Mateu |
| 2005 | Sub-optimality Approximations. Russell Bent, Irit Katriel, Pascal Van Hentenryck |
| 2005 | Subnet Generation Problem: A New Network Routing Problem. Cheuk Fun Bede Leung, Barry Richards, Olli Kamarainen |
| 2005 | Symmetry Definitions for Constraint Satisfaction Problems. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2005 | Symmetry and Consistency. Ian P. Gent, Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal |
| 2005 | Test Instance Generation for MAX 2SAT. Mistuo Motoki |
| 2005 | The Comet Programming Language and System. Laurent Michel, Pascal Van Hentenryck |
| 2005 | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | The Role of Redundant Clauses in Solving Satisfiability Problems. Honglei Zeng, Sheila A. McIlraith |
| 2005 | Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. Carsten Sinz |
| 2005 | Towards the Systematic Generation of Channelling Constraints. Bernadette Martínez Hernández, Alan M. Frisch |
| 2005 | Tractable Clones of Polynomials over Semigroups. Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien |
| 2005 | Tree Decomposition with Function Filtering. Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer |
| 2005 | Uncertainty in Soft Constraint Problems. Maria Silvia Pini, Francesca Rossi |
| 2005 | Using Boolean Constraint Propagation for Sub-clauses Deduction. Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais |
| 2005 | Using Constraint Programming for Solving Distance CSP with Uncertainty. Carlos Grandón, Bertrand Neveu |
| 2005 | Using SAT in QBF. Horst Samulowitz, Fahiem Bacchus |
| 2005 | Views and Iterators for Generic Constraint Implementations. Christian Schulte, Guido Tack |
| 2005 | Weak Composition for Qualitative Spatial and Temporal Reasoning. Jochen Renz, Gérard Ligozat |
| 2005 | Weak Symmetries in Problem Formulations. Roland Martin, Karsten Weihe |