| 2008 | Counting Solutions of Integer Programs Using Unrestricted Subtree Detection. | Tobias Achterberg, Stefan Heinz, Thorsten Koch |
| 2008 | Constraint Integer Programming: A New Approach to Integrate CP and MIP. | Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter |
| 2007 | Generalizations of the Global Cardinality Constraint for Hierarchical Resources. | Alessandro Zanarini, Gilles Pesant |
| 2007 | Constrained Clustering Via Concavity Cuts. | Yu Xia |
| 2007 | A Large Neighborhood Search Heuristic for Graph Coloring. | Michael A. Trick, Hakan Yildiz |
| 2007 | Bender's Cuts Guided Large Neighborhood Search for the Traveling Umpire Problem. | Michael A. Trick, Hakan Yildiz |
| 2007 | Solving a Stochastic Queueing Control Problem with Constraint Programming. | Daria Terekhov, J. Christopher Beck |
| 2007 | On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint. | Jan-Georg Smaus |
| 2007 | The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width. | Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal |
| 2007 | The Deviation Constraint. | Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Rgin |
| 2007 | Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search. | Sivan Sabato, Yehuda Naveh |
| 2007 | Replenishment Planning for Stochastic Inventory Systems with Shortage Cost. | Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
| 2007 | Directional Interchangeability for Enhancing CSP Solving. | Wady Naanaa |
| 2007 | A Position-Based Propagator for the Open-Shop Problem. | Jean-Nol Monette, Yves Deville, Pierre Dupont |
| 2007 | Best-First AND/OR Search for 0/1 Integer Programming. | Radu Marinescu, Rina Dechter |
| 2007 | A Constraint Programming Approach to the Hospitals / Residents Problem. | David F. Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth |
| 2007 | A Global Constraint for Total Weighted Completion Time. | Andrs Kovcs, J. Christopher Beck |
| 2007 | Computing Tight Time Windows for RCPSPWET with the Primal-Dual Method. | Andrs Kri, Tams Kis |
| 2007 | YIELDS: A Yet Improved Limited Discrepancy Search for CSPs. | Wafa Karoui, Marie-Jos Huguet, Pierre Lopez, Wady Naanaa |
| 2007 | Cost-Bounded Binary Decision Diagrams for 0-1 Programming. | Tarik Hadzic, John N. Hooker |
| 2007 | Hybrid Local Search for Constrained Financial Portfolio Selection Problems. | Luca Di Gaspero, Giacomo di Tollo, Andrea Roli, Andrea Schaerf |
| 2007 | Eliminating Redundant Clauses in SAT Instances. | Olivier Fourdrinoy, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2007 | The "Not-Too-Heavy Spanning Tree" Constraint. | Grgoire Dooms, Irit Katriel |
| 2007 | Modeling the Regular Constraint with Integer Programming. | Marie-Claude Ct, Bernard Gendron, Louis-Martin Rousseau |
| 2007 | Connections in Networks: Hardness of Feasibility Versus Optimality. | Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter |