| 2009 | Evolving Parameterised Policies for Stochastic Constraint Programming. | Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich |
| 2009 | Slice Encoding for Constraint-Based Planning. | Cdric Pralet, Grard Verfaillie |
| 2009 | On the Power of Clause-Learning SAT Solvers with Restarts. | Knot Pipatsrisawat, Adnan Darwiche |
| 2009 | Compiling All Possible Conflicts of a CSP. | Alexandre Papadopoulos, Barry O'Sullivan |
| 2009 | Coalition Structure Generation Utilizing Compact Characteristic Function Representations. | Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko Sakurai, Atsushi Iwasaki, Makoto Yokoo |
| 2009 | Online Selection of Quorum Systems for RAMBO Reconfiguration. | Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2009 | Solving Nurse Rostering Problems Using Soft Global Constraints. | Jean-Philippe Mtivier, Patrice Boizumault, Samir Loudni |
| 2009 | Search Space Extraction. | Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2009 | Exploiting Problem Decomposition in Multi-objective Constraint Optimization. | Radu Marinescu |
| 2009 | SOGgy Constraints: Soft Open Global Constraints. | Michael J. Maher |
| 2009 | A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations. | Michele Lombardi, Michela Milano |
| 2009 | Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion. | Andrew Loewenstern |
| 2009 | Failed Value Consistencies for Constraint Satisfaction. | Christophe Lecoutre, Olivier Roussel |
| 2009 | Propagator Groups. | Mikael Z. Lagerkvist, Christian Schulte |
| 2009 | Conflict Resolution. | Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov |
| 2009 | Restricted Global Grammar Constraints. | George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh |
| 2009 | Dialectic Search. | Serdar Kadioglu, Meinolf Sellmann |
| 2009 | Same-Relation Constraints. | Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivn |
| 2009 | An Interpolation Method for CLP Traversal. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2009 | Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. | Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale |
| 2009 | Synthesizing Filtering Algorithms for Global Chance-Constraints. | Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich |
| 2009 | Constraint-Based Local Search for the Automatic Generation of Architectural Tests. | Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich |
| 2009 | Constraints of Difference and Equality: A Complete Taxonomic Characterisation. | Emmanuel Hebrard, Dniel Marx, Barry O'Sullivan, Igor Razgon |
| 2009 | Reasoning about Optimal Collections of Solutions. | Tarik Hadzic, Alan Holland, Barry O'Sullivan |
| 2009 | Closing the Open Shop: Contradicting Conventional Wisdom. | Diarmuid Grimes, Emmanuel Hebrard, Arnaud Malapert |