| 2008 | A Branch and Bound Algorithm for Numerical MAX-CSP. Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou |
| 2008 | A Coinduction Rule for Entailment of Recursively Defined Properties. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2008 | A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine. Luca Benini, Michele Lombardi, Michela Milano, Martino Ruggiero |
| 2008 | A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems. T. K. Satish Kumar |
| 2008 | A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. Mats Carlsson, Nicolas Beldiceanu, Julien Martin |
| 2008 | A New Empirical Study of Weak Backdoors. Peter Gregory, Maria Fox, Derek Long |
| 2008 | A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions. Alexandre Goldsztejn, Laurent Granvilliers |
| 2008 | A Soft Constraint of Equality: Complexity and Approximability. Emmanuel Hebrard, Barry O'Sullivan, Igor Razgon |
| 2008 | Adding Search to Zinc. Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace |
| 2008 | An Application of Constraint Programming to Superblock Instruction Scheduling. Abid M. Malik, Michael Chase, Tyrel Russell, Peter van Beek |
| 2008 | An Elimination Algorithm for Functional Constraints. Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
| 2008 | Approximate Compilation of Constraints into Multivalued Decision Diagrams. Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann |
| 2008 | Approximate Solution Sampling (and Counting) on AND/OR Spaces. Vibhav Gogate, Rina Dechter |
| 2008 | Back to the Complexity of Universal Programs. Alain Colmerauer |
| 2008 | CPBPV: A Constraint-Programming Framework for Bounded Program Verification. Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck |
| 2008 | Classes of Submodular Constraints Expressible by Graph Cuts. Stanislav Zivný, Peter Jeavons |
| 2008 | Computing All Optimal Solutions in Satisfiability Problems with Preferences. Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
| 2008 | Connecting ABT with Arc Consistency. Ismel Brito, Pedro Meseguer |
| 2008 | Cost-Based Domain Filtering for Stochastic Constraint Programming. Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
| 2008 | Crossword Puzzles as a Constraint Problem. Anbulagan, Adi Botea |
| 2008 | Dichotomic Search Protocols for Constrained Optimization. Meinolf Sellmann, Serdar Kadioglu |
| 2008 | Edge Matching Puzzles as Hard SAT/CSP Benchmarks. Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu |
| 2008 | Efficiently Solving Problems Where the Solutions Form a Group. Karen E. Petrie, Christopher Jefferson |
| 2008 | Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies. Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2008 | Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. Steven Halim, Roland H. C. Yap, Felix Halim |
| 2008 | Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. Gilles Audemard, Laurent Simon |
| 2008 | Exploiting Common Subexpressions in Numerical CSPs. Ignacio Araya, Bertrand Neveu, Gilles Trombettoni |
| 2008 | Exploiting Decomposition in Constraint Optimization Problems. Matthew Kitching, Fahiem Bacchus |
| 2008 | Flow-Based Propagators for the SEQUENCE and Related Global Constraints. Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2008 | From High Girth Graphs to Hard Instances. Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu |
| 2008 | Guiding Search in QCSP Guillaume Verger, Christian Bessiere |
| 2008 | Length-Lex Bounds Consistency for Knapsack Constraints. Yuri Malitsky, Meinolf Sellmann, Willem Jan van Hoeve |
| 2008 | Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. Kenil C. K. Cheng, Roland H. C. Yap |
| 2008 | Model Restarts for Structural Symmetry Breaking. Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip |
| 2008 | On the Efficiency of Impact Based Heuristics. Marco Correia, Pedro Barahona |
| 2008 | Optimization of Simple Tabular Reduction for Table Constraints. Christophe Lecoutre |
| 2008 | Perfect Constraints Are Tractable. András Z. Salamon, Peter G. Jeavons |
| 2008 | Perfect Derived Propagators. Christian Schulte, Guido Tack |
| 2008 | Planning and Scheduling the Operation of a Very Large Oil Pipeline Network. Arnaldo Vieira Moura, Cid C. de Souza, André A. Ciré, Tony Minoru Tamura Lopes |
| 2008 | Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings Peter J. Stuckey |
| 2008 | Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith |
| 2008 | Protein Structure Prediction with Large Neighborhood Constraint Programming Search. Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote |
| 2008 | Quantified Constraint Optimization. Marco Benedetti, Arnaud Lallouet, Jérémie Vautard |
| 2008 | Recent Hybrid Techniques for the Multi-Knapsack Problem. Carlos Diego Rodrigues, Philippe Michelon, Manoel B. Campêlo |
| 2008 | Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems. Lars Otten, Rina Dechter |
| 2008 | Reformulating Positive Table Constraints Using Functional Dependencies. Hadrien Cambazard, Barry O'Sullivan |
| 2008 | Relaxations for Compiled Over-Constrained Problems. Alexandre Papadopoulos, Barry O'Sullivan |
| 2008 | Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher |
| 2008 | Search Space Reduction for Constraint Optimization Problems. Kenil C. K. Cheng, Roland H. C. Yap |
| 2008 | Search Strategies for Rectangle Packing. Helmut Simonis, Barry O'Sullivan |
| 2008 | Semi-automatic Generation of CHR Solvers for Global Constraints. Frank Raiser |
| 2008 | Solving a Telecommunications Feature Subscription Configuration Problem. David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2008 | Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions. Dalila Boughaci, Belaid Benhamou, Habiba Drias |
| 2008 | Structural Tractability of Propagated Constraints. Martin James Green, Christopher Jefferson |
| 2008 | Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT. Wanxia Wei, Chu Min Li, Harry Zhang |
| 2008 | Test Strategy Generation Using Quantified CSPs. Martin Sachenbacher, Paul Maier |
| 2008 | Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes |
| 2008 | Universal Booleanization of Constraint Models. Jinbo Huang |