| 2007 | The Log-Support Encoding of CSP into SAT. | Marco Gavanelli |
| 2007 | An Efficient Model and Strategy for the Steel Mill Slab Design Problem. | Antoine Gargani, Philippe Refalo |
| 2007 | Model-Driven Visualizations of Constraint-Based Local Search. | Grgoire Dooms, Pascal Van Hentenryck, Laurent Michel |
| 2007 | Tradeoffs in the Complexity of Backdoor Detection. | Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
| 2007 | An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. | Tristan Denmat, Arnaud Gotlieb, Mireille Ducass |
| 2007 | An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing. | Andrew J. Davenport, Jayant Kalagnanam, Chandra Reddy, Stuart Siegel, John Hou |
| 2007 | On Inconsistent Clause-Subsets for Max-SAT Solving. | Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li |
| 2007 | Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks. | Jean-Franois Condotta, Grard Ligozat, Mahmoud Saade |
| 2007 | Exploring Different Constraint-Based Modelings for Program Verification. | Hlne Collavizza, Michel Rueher |
| 2007 | The Expressive Power of Valued Constraints: Hierarchies and Collapses. | David A. Cohen, Peter Jeavons, Stanislav Zivn |
| 2007 | Solving the Salinity Control Problem in a Potable Water System. | Chiu Wo Choi, Jimmy Ho-Man Lee |
| 2007 | Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques. | Raphal Chenouard, Patrick Sbastian, Laurent Granvilliers |
| 2007 | An LP-Based Heuristic for Optimal Planning. | Menkes van den Briel, J. Benton, Subbarao Kambhampati, Thomas Vossen |
| 2007 | Encodings of the Sequence Constraint. | Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh |
| 2007 | An Analysis of Slow Convergence in Interval Propagation. | Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi |
| 2007 | Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. | Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna |
| 2007 | Uncertainty in Bipolar Preference Problems. | Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, K. Brent Venable |
| 2007 | Local Symmetry Breaking During Search in CSPs. | Belaid Benhamou, Mohamed Rda Sadi |
| 2007 | A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic | Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet |
| 2007 | Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite. | Grgory Beaumet, Grard Verfaillie, Marie-Claire Charmeau |
| 2007 | Reformulating CSPs for Scalability with Application to Geospatial Reasoning. | Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock |
| 2007 | Solution Directed Backjumping for QCSP. | Fahiem Bacchus, Kostas Stergiou |
| 2007 | GAC Via Unit Propagation. | Fahiem Bacchus |
| 2007 | Caching in Backtracking Search. | Fahiem Bacchus |
| 2007 | Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms. | Vicente Ruiz de Angulo, Carme Torras |