| 2008 | Connecting ABT with Arc Consistency. | Ismel Brito, Pedro Meseguer |
| 2008 | Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions. | Dalila Boughaci, Belaid Benhamou, Habiba Drias |
| 2008 | A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine. | Luca Benini, Michele Lombardi, Michela Milano, Martino Ruggiero |
| 2008 | Quantified Constraint Optimization. | Marco Benedetti, Arnaud Lallouet, Jrmie Vautard |
| 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 | Edge Matching Puzzles as Hard SAT/CSP Benchmarks. | Carlos Anstegui, Ramn Bjar, Csar Fernndez, Carles Mateu |
| 2008 | From High Girth Graphs to Hard Instances. | Carlos Anstegui, Ramn Bjar, Csar Fernndez, Carles Mateu |
| 2008 | Crossword Puzzles as a Constraint Problem. | Anbulagan, Adi Botea |
| 2007 | Min-Domain Ordering for Asynchronous Backtracking. | Roie Zivan, Moshe Zazone, Amnon Meisels |
| 2007 | Solution Counting Algorithms for Constraint-Centered Search Heuristics. | Alessandro Zanarini, Gilles Pesant |
| 2007 | Filtering for Subgraph Isomorphism. | Stphane Zampelli, Yves Deville, Christine Solnon, Sbastien Sorlin, Pierre Dupont |
| 2007 | Hierarchical Hardness Models for SAT. | Lin Xu, Holger H. Hoos, Kevin Leyton-Brown |
| 2007 | : The Design and Analysis of an Algorithm Portfolio for SAT. | Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown |
| 2007 | On Universal Restart Strategies for Backtracking Search. | Huayue Wu, Peter van Beek |
| 2007 | A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs. | Nic Wilson, Diarmuid Grimes, Eugene C. Freuder |
| 2007 | Breaking Value Symmetry. | Toby Walsh |
| 2007 | Constructive Interval Disjunction. | Gilles Trombettoni, Gilles Chabert |
| 2007 | Constraint Symmetry for the Soft CSP. | Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
| 2007 | Towards Robust CNF Encodings of Cardinality Constraints. | Joo Marques-Silva, Ins Lynce |
| 2007 | Bound-Consistent Deviation Constraint. | Pierre Schaus, Yves Deville, Pierre Dupont |
| 2007 | Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT. | Miquel Ramrez, Hector Geffner |
| 2007 | Decomposing Global Grammar Constraints. | Claude-Guy Quimper, Toby Walsh |
| 2007 | A Multi-engine Solver for Quantified Boolean Formulas. | Luca Pulina, Armando Tacchella |
| 2007 | Boosting Probabilistic Choice Operators. | Matthieu Petit, Arnaud Gotlieb |