| 2007 | Strong Controllability of Disjunctive Temporal Problems with Uncertainty. | Bart Peintner, Kristen Brent Venable, Neil Yorke-Smith |
| 2007 | Propagation = Lazy Clause Generation. | Olga Ohrimenko, Peter J. Stuckey, Michael Codish |
| 2007 | MiniZinc: Towards a Standard CP Modelling Language. | Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
| 2007 | Parallelizing Constraint Programs Transparently. | Laurent Michel, Andrew See, Pascal Van Hentenryck |
| 2007 | AND/OR Multi-valued Decision Diagrams for Constraint Optimization. | Robert Mateescu, Radu Marinescu, Rina Dechter |
| 2007 | Scheduling Conditional Task Graphs. | Michele Lombardi, Michela Milano |
| 2007 | Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. | Christophe Lecoutre, Lakhdar Sais, Sbastien Tabary, Vincent Vidal |
| 2007 | Path Consistency by Dual Consistency. | Christophe Lecoutre, Stphane Cardon, Julien Vion |
| 2007 | Breaking Symmetry of Interchangeable Variables and Values. | Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip |
| 2007 | Advisors for Incremental Propagation. | Mikael Z. Lagerkvist, Christian Schulte |
| 2007 | Scheduling for Cellular Manufacturing. | Roman van der Krogt, James Little, Kenneth Pulliam, Sue Hanhilammi, Yue Jin |
| 2007 | CP-Based Local Branching. | Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini |
| 2007 | Valid Inequality Based Lower Bounds for WCSP. | Mohand Ou Idir Khemmoudj, Hachemi Bennaceur |
| 2007 | A Compression Algorithm for Large Arity Extensional Constraints. | George Katsirelos, Toby Walsh |
| 2007 | Dynamic Management of Heuristics for Solving Structured CSPs. | Philippe Jgou, Samba Ndiaye, Cyril Terrioux |
| 2007 | Limitations of Restricted Branching in Clause Learning. | Matti Jrvisalo, Tommi A. Junttila |
| 2007 | A Case for Simple SAT Solvers. | Jinbo Huang |
| 2007 | An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. | Steven Halim, Roland H. C. Yap, Hoong Chuin Lau |
| 2007 | Sampling Strategies and Variable Selection in Weighted Degree Heuristics. | Diarmuid Grimes, Richard J. Wallace |
| 2007 | MUST: Provide a Finer-Grained Explanation of Unsatisfiability. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2007 | Of Mousetraps and Men: A Cautionary Tale. | Matthew L. Ginsberg |
| 2007 | Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure. | Alfonso Gerevini, Alessandro Saetti |
| 2007 | Groupoids and Conditional Symmetry. | Ian P. Gent, Tom W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal |
| 2007 | Constraint-Based Temporal Reasoning for E-Learning with LODE. | Rosella Gennari, Ornella Mich |
| 2007 | Dealing with Incomplete Preferences in Soft Constraint Problems. | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable |