| 2007 | : The Design and Analysis of an Algorithm Portfolio for SAT. Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown |
| 2007 | A Case for Simple SAT Solvers. Jinbo Huang |
| 2007 | A Compression Algorithm for Large Arity Extensional Constraints. George Katsirelos, Toby Walsh |
| 2007 | A Constraint Store Based on Multivalued Decision Diagrams. Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann |
| 2007 | A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs. Nic Wilson, Diarmuid Grimes, Eugene C. Freuder |
| 2007 | A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet |
| 2007 | A Multi-engine Solver for Quantified Boolean Formulas. Luca Pulina, Armando Tacchella |
| 2007 | AND/OR Multi-valued Decision Diagrams for Constraint Optimization. Robert Mateescu, Radu Marinescu, Rina Dechter |
| 2007 | Advisors for Incremental Propagation. Mikael Z. Lagerkvist, Christian Schulte |
| 2007 | An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé |
| 2007 | An Analysis of Slow Convergence in Interval Propagation. Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi |
| 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 | An Efficient Model and Strategy for the Steel Mill Slab Design Problem. Antoine Gargani, Philippe Refalo |
| 2007 | An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. Steven Halim, Roland H. C. Yap, Hoong Chuin Lau |
| 2007 | An LP-Based Heuristic for Optimal Planning. Menkes van den Briel, J. Benton, Subbarao Kambhampati, Thomas Vossen |
| 2007 | Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna |
| 2007 | Boosting Probabilistic Choice Operators. Matthieu Petit, Arnaud Gotlieb |
| 2007 | Bound-Consistent Deviation Constraint. Pierre Schaus, Yves Deville, Pierre Dupont |
| 2007 | Breaking Symmetry of Interchangeable Variables and Values. Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip |
| 2007 | Breaking Value Symmetry. Toby Walsh |
| 2007 | CP-Based Local Branching. Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini |
| 2007 | Caching in Backtracking Search. Fahiem Bacchus |
| 2007 | Constraint Symmetry for the Soft CSP. Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
| 2007 | Constraint-Based Temporal Reasoning for E-Learning with LODE. Rosella Gennari, Ornella Mich |
| 2007 | Constructive Interval Disjunction. Gilles Trombettoni, Gilles Chabert |
| 2007 | Dealing with Incomplete Preferences in Soft Constraint Problems. Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable |
| 2007 | Decomposing Global Grammar Constraints. Claude-Guy Quimper, Toby Walsh |
| 2007 | Dynamic Management of Heuristics for Solving Structured CSPs. Philippe Jégou, Samba Ndiaye, Cyril Terrioux |
| 2007 | Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure. Alfonso Gerevini, Alessandro Saetti |
| 2007 | Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks. Jean-François Condotta, Gérard Ligozat, Mahmoud Saade |
| 2007 | Encodings of the Sequence Constraint. Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh |
| 2007 | Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite. Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau |
| 2007 | Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
| 2007 | Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms. Vicente Ruiz de Angulo, Carme Torras |
| 2007 | Exploring Different Constraint-Based Modelings for Program Verification. Hélène Collavizza, Michel Rueher |
| 2007 | Filtering for Subgraph Isomorphism. Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont |
| 2007 | GAC Via Unit Propagation. Fahiem Bacchus |
| 2007 | Groupoids and Conditional Symmetry. Ian P. Gent, Tom W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal |
| 2007 | Hierarchical Hardness Models for SAT. Lin Xu, Holger H. Hoos, Kevin Leyton-Brown |
| 2007 | Limitations of Restricted Branching in Clause Learning. Matti Järvisalo, Tommi A. Junttila |
| 2007 | Local Symmetry Breaking During Search in CSPs. Belaid Benhamou, Mohamed Réda Saïdi |
| 2007 | MUST: Provide a Finer-Grained Explanation of Unsatisfiability. Éric Grégoire, Bertrand Mazure, Cédric Piette |
| 2007 | Min-Domain Ordering for Asynchronous Backtracking. Roie Zivan, Moshe Zazone, Amnon Meisels |
| 2007 | MiniZinc: Towards a Standard CP Modelling Language. Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
| 2007 | Model-Driven Visualizations of Constraint-Based Local Search. Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel |
| 2007 | Of Mousetraps and Men: A Cautionary Tale. Matthew L. Ginsberg |
| 2007 | On Inconsistent Clause-Subsets for Max-SAT Solving. Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li |
| 2007 | On Universal Restart Strategies for Backtracking Search. Huayue Wu, Peter van Beek |
| 2007 | Parallelizing Constraint Programs Transparently. Laurent Michel, Andrew See, Pascal Van Hentenryck |
| 2007 | Path Consistency by Dual Consistency. Christophe Lecoutre, Stéphane Cardon, Julien Vion |
| 2007 | Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings Christian Bessiere |
| 2007 | Propagation = Lazy Clause Generation. Olga Ohrimenko, Peter J. Stuckey, Michael Codish |
| 2007 | Reformulating CSPs for Scalability with Application to Geospatial Reasoning. Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock |
| 2007 | Sampling Strategies and Variable Selection in Weighted Degree Heuristics. Diarmuid Grimes, Richard J. Wallace |
| 2007 | Scheduling Conditional Task Graphs. Michele Lombardi, Michela Milano |
| 2007 | Scheduling for Cellular Manufacturing. Roman van der Krogt, James Little, Kenneth Pulliam, Sue Hanhilammi, Yue Jin |
| 2007 | Solution Counting Algorithms for Constraint-Centered Search Heuristics. Alessandro Zanarini, Gilles Pesant |
| 2007 | Solution Directed Backjumping for QCSP. Fahiem Bacchus, Kostas Stergiou |
| 2007 | Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques. Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers |
| 2007 | Solving the Salinity Control Problem in a Potable Water System. Chiu Wo Choi, Jimmy Ho-Man Lee |
| 2007 | Strong Controllability of Disjunctive Temporal Problems with Uncertainty. Bart Peintner, Kristen Brent Venable, Neil Yorke-Smith |
| 2007 | Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT. Miquel Ramírez, Hector Geffner |
| 2007 | The Expressive Power of Valued Constraints: Hierarchies and Collapses. David A. Cohen, Peter Jeavons, Stanislav Zivný |
| 2007 | The Log-Support Encoding of CSP into SAT. Marco Gavanelli |
| 2007 | Towards Robust CNF Encodings of Cardinality Constraints. João Marques-Silva, Inês Lynce |
| 2007 | Tradeoffs in the Complexity of Backdoor Detection. Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal |
| 2007 | Uncertainty in Bipolar Preference Problems. Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, K. Brent Venable |
| 2007 | Valid Inequality Based Lower Bounds for WCSP. Mohand Ou Idir Khemmoudj, Hachemi Bennaceur |