| 2009 | On the Structure of Industrial SAT Instances. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | Memoisation for Constraint-Based Local Search. | Magnus gren |
| 2008 | Classes of Submodular Constraints Expressible by Graph Cuts. | Stanislav Zivn, Peter Jeavons |
| 2008 | An Elimination Algorithm for Functional Constraints. | Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
| 2008 | Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT. | Wanxia Wei, Chu Min Li, Harry Zhang |
| 2008 | Guiding Search in QCSP | Guillaume Verger, Christian Bessiere |
| 2008 | Search Strategies for Rectangle Packing. | Helmut Simonis, Barry O'Sullivan |
| 2008 | Dichotomic Search Protocols for Constrained Optimization. | Meinolf Sellmann, Serdar Kadioglu |
| 2008 | Perfect Derived Propagators. | Christian Schulte, Guido Tack |
| 2008 | Perfect Constraints Are Tractable. | Andrs Z. Salamon, Peter G. Jeavons |
| 2008 | Test Strategy Generation Using Quantified CSPs. | Martin Sachenbacher, Paul Maier |
| 2008 | Cost-Based Domain Filtering for Stochastic Constraint Programming. | Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
| 2008 | Computing All Optimal Solutions in Satisfiability Problems with Preferences. | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
| 2008 | Recent Hybrid Techniques for the Multi-Knapsack Problem. | Carlos Diego Rodrigues, Philippe Michelon, Manoel B. Camplo |
| 2008 | Semi-automatic Generation of CHR Solvers for Global Constraints. | Frank Raiser |
| 2008 | Adding Search to Zinc. | Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace |
| 2008 | Efficiently Solving Problems Where the Solutions Form a Group. | Karen E. Petrie, Christopher Jefferson |
| 2008 | Relaxations for Compiled Over-Constrained Problems. | Alexandre Papadopoulos, Barry O'Sullivan |
| 2008 | Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems. | Lars Otten, Rina Dechter |
| 2008 | A Branch and Bound Algorithm for Numerical MAX-CSP. | Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frdric Benhamou |
| 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 | Length-Lex Bounds Consistency for Knapsack Constraints. | Yuri Malitsky, Meinolf Sellmann, Willem Jan van Hoeve |
| 2008 | An Application of Constraint Programming to Superblock Instruction Scheduling. | Abid M. Malik, Michael Chase, Tyrel Russell, Peter van Beek |
| 2008 | Flow-Based Propagators for the SEQUENCE and Related Global Constraints. | Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2008 | Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. | Chu Min Li, Felip Many, Nouredine Ould Mohamedou, Jordi Planes |