| 2007 | A Constraint Store Based on Multivalued Decision Diagrams. | Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann |
| 2006 | Retroactive Ordering for Dynamic Backtracking. | Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels |
| 2006 | General Symmetry Breaking Constraints. | Toby Walsh |
| 2006 | : A Bottom-Up Approach for Solving Quantified CSPs. | Guillaume Verger, Christian Bessiere |
| 2006 | Interactive Distributed Configuration. | Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen |
| 2006 | Compiling Finite Linear CSP into SAT. | Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara |
| 2006 | Generating Propagators for Finite Set Constraints. | Guido Tack, Christian Schulte, Gert Smolka |
| 2006 | Constraint Propagation for Domain Bounding in Distributed Task Scheduling. | Evan Sultanik, Pragnesh Jay Modi, William C. Regli |
| 2006 | A Simple Distribution-Free Approach to the Max | Matthew J. Streeter, Stephen F. Smith |
| 2006 | Constraint Programming Models for Graceful Graphs. | Barbara M. Smith |
| 2006 | Constraint Based Resilience Analysis. | Helmut Simonis |
| 2006 | The Theory of Grammar Constraints. | Meinolf Sellmann |
| 2006 | Preprocessing QBF. | Horst Samulowitz, Jessica Davies, Fahiem Bacchus |
| 2006 | Constraint Satisfaction with Bounded Treewidth Revisited. | Marko Samer, Stefan Szeider |
| 2006 | Mini-bucket Elimination with Bucket Propagation. | Emma Rollon, Javier Larrosa |
| 2006 | Generalizing AllDifferent: The SomeDifferent Constraint. | Yossi Richter, Ari Freund, Yehuda Naveh |
| 2006 | Global Grammar Constraints. | Claude-Guy Quimper, Toby Walsh |
| 2006 | Dynamic Lex Constraints. | Jean-Franois Puget |
| 2006 | Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. | Cdric Pralet, Thomas Schiex, Grard Verfaillie |
| 2006 | Towards an Efficient SAT Encoding for Temporal Reasoning. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2006 | Randomization in Constraint Programming for Airline Planning. | Lars Otten, Mattias Grnkvist, Devdatt P. Dubhashi |
| 2006 | When Interval Analysis Helps Inter-block Backtracking. | Bertrand Neveu, Gilles Chabert, Gilles Trombettoni |
| 2006 | A Structural Characterization of Temporal Dynamic Controllability. | Paul Morris |
| 2006 | High-Level Nondeterministic Abstractions in. | Laurent Michel, Andrew See, Pascal Van Hentenryck |
| 2006 | Distributed Constraint-Based Local Search. | Laurent Michel, Andrew See, Pascal Van Hentenryck |