| 2005 | Integration of Rules and Optimization in Plant PowerOps. | Thomas Bousonville, Filippo Focacci, Claude Le Pape, Wim Nuijten, Frederic Paulin, Jean-Francois Puget, Anna Robert, Alireza Sadeghin |
| 2005 | Filtering Algorithms for the NValue Constraint. | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2005 | The tree Constraint. | Nicolas Beldiceanu, Pierre Flener, Xavier Lorca |
| 2005 | Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. | Andreas Bauer |
| 2005 | The Temporal Knapsack Problem and Its Solution. | Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth |
| 2005 | Set Variables and Local Search. | Magnus gren, Pierre Flener, Justin Pearson |
| 2004 | Problem Decomposition for Traffic Diversions. | Quanshi Xia, Andrew Eremin, Mark Wallace |
| 2004 | O(n log n) Filtering Algorithms for Unary Resource Constraint. | Petr Vilm |
| 2004 | Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem. | Armagan Tarim, Ian Miguel |
| 2004 | A Global Constraint for Graph Isomorphism Problems. | Sbastien Sorlin, Christine Solnon |
| 2004 | Models and Symmetry Breaking for 'Peaceable Armies of Queens'. | Barbara M. Smith, Karen E. Petrie, Ian P. Gent |
| 2004 | A Hybrid Branch-And-Cut Algorithm for the One-Machine Scheduling Problem. | Ruslan Sadykov |
| 2004 | Stabilization Issues for Constraint Programming Based Column Generation. | Louis-Martin Rousseau |
| 2004 | A Global Constraint for Nesting Problems. | Cristina Ribeiro, Maria Antnia Carravilla |
| 2004 | Building Models through Formal Specification. | Gerrit Renker, Hatem Ahriz |
| 2004 | Travelling in the World of Local Searches in the Space of Partial Assignments. | Cdric Pralet, Grard Verfaillie |
| 2004 | Combining Forces to Solve the Car Sequencing Problem. | Laurent Perron, Paul Shaw |
| 2004 | Using MILP and CP for the Scheduling of Batch Chemical Processes. | Christos T. Maravelias, Ignacio E. Grossmann |
| 2004 | Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints. | Olivier Lhomme |
| 2004 | Filtering Methods for Symmetric Cardinality Constraint. | Waldemar Kocjan, Per Kreuger |
| 2004 | Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights. | Irit Katriel |
| 2004 | Local Probing Applied to Network Routing. | Olli Kamarainen, Hani El Sakkout |
| 2004 | Scheduling Abstractions for Local Search. | Pascal Van Hentenryck, Laurent Michel |
| 2004 | Super Solutions in Constraint Programming. | Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
| 2004 | A Constraint Programming Model for Tail Assignment. | Mattias Grnkvist |