| 2009 | Snake Lex: An Alternative to Double Lex. | Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal |
| 2009 | Challenges for Constraint Reasoning and Optimization in Computational Sustainability. | Carla P. Gomes |
| 2009 | Search Spaces for Min-Perturbation Repair. | Alex S. Fukunaga |
| 2009 | The Proper Treatment of Undefinedness in Constraint Languages. | Alan M. Frisch, Peter J. Stuckey |
| 2009 | Lazy Clause Generation Reengineered. | Thibaut Feydy, Peter J. Stuckey |
| 2009 | Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition. | Mohammad M. Fazel-Zarandi, J. Christopher Beck |
| 2009 | Exploiting Problem Structure for Solution Counting. | Aurlie Favier, Simon de Givry, Philippe Jgou |
| 2009 | From Model-Checking to Temporal Logic Constraint Solving. | Franois Fages, Aurlien Rizk |
| 2009 | Asynchronous Inter-Level Forward-Checking for DisCSPs. | Redouane Ezzahir, Christian Bessiere, Mohamed Wahbi, Imade Benelallam, Houssine Bouyakhf |
| 2009 | Pin Assignment Using Stochastic Local Search Constraint Programming. | Bella Dubrov, Haggai Eran, Ari Freund, Edward F. Mark, Shyam Ramji, Timothy A. Schell |
| 2009 | Real-Time Tabu Search for Video Tracking Association. | Ivn Dot, Pascal Van Hentenryck, Miguel A. Patricio, Antonio Berlanga, Jos Garca, Jos M. Molina Lpez |
| 2009 | Generating Optimal Stowage Plans for Container Vessel Bays. | Alberto Delgado, Rune Mller Jensen, Christian Schulte |
| 2009 | Constraint Representations and Structural Tractability. | David A. Cohen, Martin James Green, Chris Houghton |
| 2009 | Constraint-Based Graph Matching. | Vianney le Clment de Saint-Marcq, Yves Deville, Christine Solnon |
| 2009 | Confidence-Based Work Stealing in Parallel Constraint Programming. | Geoffrey Chu, Christian Schulte, Peter J. Stuckey |
| 2009 | Using Relaxations in Maximum Density Still Life. | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda |
| 2009 | Minimizing the Maximum Number of Open Stacks by Customer Search. | Geoffrey Chu, Peter J. Stuckey |
| 2009 | Approximating Weighted Max-SAT Problems by Compensating for Relaxations. | Arthur Choi, Trevor Standley, Adnan Darwiche |
| 2009 | A Constraint on the Number of Distinct Vectors with Application to Localization. | Gilles Chabert, Luc Jaulin, Xavier Lorca |
| 2009 | Hull Consistency under Monotonicity. | Gilles Chabert, Luc Jaulin |
| 2009 | Efficient Generic Search Heuristics within the EMBP Framework. | Ronan LeBras, Alessandro Zanarini, Gilles Pesant |
| 2009 | Minimising Decision Tree Size as Combinatorial Optimisation. | Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan |
| 2009 | Constraint-Based Schedulers, Do They Really Work? | Philippe Baptiste |
| 2009 | Filtering Numerical CSPs Using Well-Constrained Subsystems. | Ignacio Araya, Gilles Trombettoni, Bertrand Neveu |
| 2009 | A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms. | Carlos Anstegui, Meinolf Sellmann, Kevin Tierney |