| 2009 | A Constraint on the Number of Distinct Vectors with Application to Localization. Gilles Chabert, Luc Jaulin, Xavier Lorca |
| 2009 | A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms. Carlos Ansótegui, Meinolf Sellmann, Kevin Tierney |
| 2009 | A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem. Helmut Simonis |
| 2009 | A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations. Michele Lombardi, Michela Milano |
| 2009 | An Interpolation Method for CLP Traversal. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2009 | Approximating Weighted Max-SAT Problems by Compensating for Relaxations. Arthur Choi, Trevor Standley, Adnan Darwiche |
| 2009 | Asynchronous Inter-Level Forward-Checking for DisCSPs. Redouane Ezzahir, Christian Bessiere, Mohamed Wahbi, Imade Benelallam, Houssine Bouyakhf |
| 2009 | Challenges for Constraint Reasoning and Optimization in Computational Sustainability. Carla P. Gomes |
| 2009 | Closing the Open Shop: Contradicting Conventional Wisdom. Diarmuid Grimes, Emmanuel Hebrard, Arnaud Malapert |
| 2009 | Coalition Structure Generation Utilizing Compact Characteristic Function Representations. Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko Sakurai, Atsushi Iwasaki, Makoto Yokoo |
| 2009 | Compiling All Possible Conflicts of a CSP. Alexandre Papadopoulos, Barry O'Sullivan |
| 2009 | Confidence-Based Work Stealing in Parallel Constraint Programming. Geoffrey Chu, Christian Schulte, Peter J. Stuckey |
| 2009 | Conflict Resolution. Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov |
| 2009 | Constraint Representations and Structural Tractability. David A. Cohen, Martin James Green, Chris Houghton |
| 2009 | Constraint-Based Graph Matching. Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon |
| 2009 | Constraint-Based Local Search for the Automatic Generation of Architectural Tests. Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich |
| 2009 | Constraint-Based Optimal Testing Using DNNF Graphs. Anika Schumann, Martin Sachenbacher, Jinbo Huang |
| 2009 | Constraint-Based Schedulers, Do They Really Work? Philippe Baptiste |
| 2009 | Constraints of Difference and Equality: A Complete Taxonomic Characterisation. Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon |
| 2009 | Cost-Driven Interactive CSP with Constraint Relaxation. Yevgeny Schreiber |
| 2009 | Dialectic Search. Serdar Kadioglu, Meinolf Sellmann |
| 2009 | Edge Finding Filtering Algorithm for Discrete Cumulative Resources in Petr Vilím |
| 2009 | Efficient Generic Search Heuristics within the EMBP Framework. Ronan LeBras, Alessandro Zanarini, Gilles Pesant |
| 2009 | Evaluation of Length-Lex Set Variables. Justin Yip, Pascal Van Hentenryck |
| 2009 | Evolving Parameterised Policies for Stochastic Constraint Programming. Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich |
| 2009 | Exploiting Problem Decomposition in Multi-objective Constraint Optimization. Radu Marinescu |
| 2009 | Exploiting Problem Structure for Solution Counting. Aurélie Favier, Simon de Givry, Philippe Jégou |
| 2009 | Failed Value Consistencies for Constraint Satisfaction. Christophe Lecoutre, Olivier Roussel |
| 2009 | Filtering Numerical CSPs Using Well-Constrained Subsystems. Ignacio Araya, Gilles Trombettoni, Bertrand Neveu |
| 2009 | From Model-Checking to Temporal Logic Constraint Solving. François Fages, Aurélien Rizk |
| 2009 | Generating Optimal Stowage Plans for Container Vessel Bays. Alberto Delgado, Rune Møller Jensen, Christian Schulte |
| 2009 | Hull Consistency under Monotonicity. Gilles Chabert, Luc Jaulin |
| 2009 | Lazy Clause Generation Reengineered. Thibaut Feydy, Peter J. Stuckey |
| 2009 | Maintaining State in Propagation Solvers. Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack |
| 2009 | Memoisation for Constraint-Based Local Search. Magnus Ågren |
| 2009 | Minimising Decision Tree Size as Combinatorial Optimisation. Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan |
| 2009 | Minimizing the Maximum Number of Open Stacks by Customer Search. Geoffrey Chu, Peter J. Stuckey |
| 2009 | Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale |
| 2009 | Observations on Symmetry Breaking. Barbara M. Smith |
| 2009 | On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency. Meinolf Sellmann |
| 2009 | On the Power of Clause-Learning SAT Solvers with Restarts. Knot Pipatsrisawat, Adnan Darwiche |
| 2009 | On the Structure of Industrial SAT Instances. Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | Online Selection of Quorum Systems for RAMBO Reconfiguration. Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2009 | Pin Assignment Using Stochastic Local Search Constraint Programming. Bella Dubrov, Haggai Eran, Ari Freund, Edward F. Mark, Shyam Ramji, Timothy A. Schell |
| 2009 | Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings Ian P. Gent |
| 2009 | Propagator Groups. Mikael Z. Lagerkvist, Christian Schulte |
| 2009 | Real-Time Tabu Search for Video Tracking Association. Iván Dotú, Pascal Van Hentenryck, Miguel A. Patricio, Antonio Berlanga, José García, José M. Molina López |
| 2009 | Realtime Online Solving of Quantified CSPs. David Stynes, Kenneth N. Brown |
| 2009 | Reasoning about Optimal Collections of Solutions. Tarik Hadzic, Alan Holland, Barry O'Sullivan |
| 2009 | Restricted Global Grammar Constraints. George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh |
| 2009 | SOGgy Constraints: Soft Open Global Constraints. Michael J. Maher |
| 2009 | Same-Relation Constraints. Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný |
| 2009 | Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion. Andrew Loewenstern |
| 2009 | Search Space Extraction. Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2009 | Search Spaces for Min-Perturbation Repair. Alex S. Fukunaga |
| 2009 | Slice Encoding for Constraint-Based Planning. Cédric Pralet, Gérard Verfaillie |
| 2009 | Snake Lex: An Alternative to Double Lex. Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal |
| 2009 | Solving Nurse Rostering Problems Using Soft Global Constraints. Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni |
| 2009 | Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition. Mohammad M. Fazel-Zarandi, J. Christopher Beck |
| 2009 | Synthesizing Filtering Algorithms for Global Chance-Constraints. Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich |
| 2009 | The Complexity of Valued Constraint Models. Stanislav Zivný, Peter G. Jeavons |
| 2009 | The Proper Treatment of Undefinedness in Constraint Languages. Alan M. Frisch, Peter J. Stuckey |
| 2009 | Using Relaxations in Maximum Density Still Life. Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda |
| 2009 | Weakly Monotonic Propagators. Christian Schulte, Guido Tack |
| 2009 | Why Cumulative Decomposition Is Not as Bad as It Sounds. Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace |