| 2011 | A CSP Solver Focusing on fac Variables. Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2011 | A Constraint Based Approach to Cyclic RCPSP. Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano |
| 2011 | A Constraint Seeker: Finding and Ranking Global Constraints from Examples. Nicolas Beldiceanu, Helmut Simonis |
| 2011 | A Framework for Decision-Based Consistencies. Jean-François Condotta, Christophe Lecoutre |
| 2011 | A Hybrid Approach for Solving Real-World Nurse Rostering Problems. Martin Stølevik, Tomas Eric Nordlander, Atle Riise, Helle Frøyseth |
| 2011 | A More Efficient BDD-Based QBF Solver. Oswaldo Olivo, E. Allen Emerson |
| 2011 | A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints. Roger Kameugne, Laure Pauline Fotso, Joseph D. Scott, Youcheu Ngo-Kateu |
| 2011 | A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu |
| 2011 | Algorithm Selection and Scheduling. Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
| 2011 | An Efficient Light Solver for Querying the Semantic Web. Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon |
| 2011 | Automatic Generation of Constraints for Partial Symmetry Breaking. Christopher Jefferson, Karen E. Petrie |
| 2011 | Beyond QCSP for Solving Control Problems. Cédric Pralet, Gérard Verfaillie |
| 2011 | Bin Repacking Scheduling in Virtualized Datacenters. Fabien Hermenier, Sophie Demassey, Xavier Lorca |
| 2011 | Boolean Equi-propagation for Optimized SAT Encoding. Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2011 | CP Models for Maximum Common Subgraph Problems. Samba Ndojh Ndiaye, Christine Solnon |
| 2011 | Checking and Filtering Global Set Constraints. Justin Yip, Pascal Van Hentenryck |
| 2011 | Constraint Programming for Controller Synthesis. Gérard Verfaillie, Cédric Pralet |
| 2011 | Constraint Propagation for Efficient Inference in Markov Logic. Tivadar Papai, Parag Singla, Henry A. Kautz |
| 2011 | Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover |
| 2011 | Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien |
| 2011 | Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
| 2011 | Half Reification and Flattening. Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey |
| 2011 | Hierarchically Nested Convex VCSP. Martin C. Cooper, Stanislav Zivný |
| 2011 | Incorporating Variance in Impact-Based Search. Serdar Kadioglu, Eoin O'Mahony, Philippe Refalo, Meinolf Sellmann |
| 2011 | Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher |
| 2011 | Large Neighborhood Search for Dial-a-Ride Problems. Siddhartha Jain, Pascal Van Hentenryck |
| 2011 | MaxRPC Algorithms Based on Bitwise Operations. Jinsong Guo, Zhanshan Li, Liang Zhang, Xuena Geng |
| 2011 | Min CSP on Four Elements: Moving beyond Submodularity. Peter Jonsson, Fredrik Kuivinen, Johan Thapper |
| 2011 | Models and Strategies for Variants of the Job Shop Scheduling Problem. Diarmuid Grimes, Emmanuel Hebrard |
| 2011 | Neuron Constraints to Model Complex Real-World Problems. Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini |
| 2011 | Octagonal Domains for Continuous Constraints. Marie Pelleau, Charlotte Truchet, Frédéric Benhamou |
| 2011 | On Deciding MUS Membership with QBF. Mikolás Janota, João Marques-Silva |
| 2011 | On Guaranteeing Polynomially Bounded Search Tree Size. David A. Cohen, Martin C. Cooper, Martin James Green, Dániel Marx |
| 2011 | On Mini-Buckets and the Min-fill Elimination Ordering. Emma Rollon, Javier Larrosa |
| 2011 | On Minimal Constraint Networks. Georg Gottlob |
| 2011 | On Minimal Weighted Clones. Páidí Creed, Stanislav Zivný |
| 2011 | On the Relative Efficiency of DPLL and OBDDs with Axiom and Join. Matti Järvisalo |
| 2011 | Operations Research and Constraint Programming at Google. Laurent Perron |
| 2011 | Optimal Carpet Cutting. Andreas Schutt, Peter J. Stuckey, Andrew R. Verden |
| 2011 | Orchestrating Satisfiability Engines. Leonardo Mendonça de Moura |
| 2011 | Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings Jimmy Ho-Man Lee |
| 2011 | Proving Symmetries by Model Transformation. Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace |
| 2011 | Pruning Rules for Constrained Optimisation for Conditional Preferences. Nic Wilson, Walid Trabelsi |
| 2011 | Pseudo-Tree-Based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds. Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo, Boi Faltings |
| 2011 | QCSP on Partially Reflexive Forests. Barnaby Martin |
| 2011 | Reducing the Search Space of Resource Constrained DCOPs. Toshihiro Matsui, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Boi Faltings, Hiroshi Matsuo |
| 2011 | Revisiting the tree Constraint. Jean-Guillaume Fages, Xavier Lorca |
| 2011 | Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming. Michel P. Lefebvre, Jean-François Puget, Petr Vilím |
| 2011 | Search Combinators. Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2011 | Searching for Doubly Self-orthogonal Latin Squares. Runming Lu, Sheng Liu, Jian Zhang |
| 2011 | Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. Jessica Davies, Fahiem Bacchus |
| 2011 | Solving Problems with CP: Four Common Pitfalls to Avoid. Jean-Charles Régin |
| 2011 | Solving Qualitative Constraints Involving Landmarks. Weiming Liu, Sheng-Sheng Wang, Sanjiang Li, Dayou Liu |
| 2011 | Structural Tractability of Constraint Optimization. Gianluigi Greco, Francesco Scarcello |
| 2011 | Symmetry Breaking in Numeric Constraint Problems. Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo, Carme Torras |
| 2011 | Synthesis of Search Algorithms from High-Level CP Models. Samir A. Mohamed Elsayed, Laurent Michel |
| 2011 | The Computational Complexity of Disconnected Cut and 2K 2-Partition. Barnaby Martin, Daniël Paulusma |
| 2011 | The Design of Cryptographic S-Boxes Using CSPs. Venkatesh Ramamoorthy, Marius-Calin Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
| 2011 | The Parameterized Complexity of Local Consistency. Serge Gaspers, Stefan Szeider |
| 2011 | Tractable Triangles. Martin C. Cooper, Stanislav Zivný |
| 2011 | Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2011 | Variable Independence and Resolution Paths for Quantified Boolean Formulas. Allen Van Gelder |