| 2003 | Generic SBDD Using Computational Group Theory. | Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton |
| 2003 | Constraints for Breaking More Row and Column Symmetries. | Alan M. Frisch, Christopher Jefferson, Ian Miguel |
| 2003 | Scheduling in the Face of Uncertain Resource Consumption and Utility. | Jeremy Frank, Richard Dearden |
| 2003 | Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. | Pierre Flener, Justin Pearson, Magnus gren |
| 2003 | Toy(FD): Sketch of Operational Semantics. | Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Fernando Senz-Prez |
| 2003 | Open Constraint Optimization. | Boi Faltings, Santiago Macho-Gonzalez |
| 2003 | Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems. | Carlos Eisenberg, Boi Faltings |
| 2003 | Interactive Tradeoff Generation. | Moyra Duggan, Barry O'Sullivan, Eugene C. Freuder |
| 2003 | Redundant Modeling for the QuasiGroup Completion Problem. | Ivn Dot, Alvaro del Val, Manuel Cebrin |
| 2003 | A Wealth of SAT Distributions with Planted Assignments. | Tassos Dimitriou |
| 2003 | Structured vs. Unstructured Large Neighborhood Search: A Case Study on Job-Shop Scheduling Problems with Earliness and Tardiness Costs. | Emilie Danna, Laurent Perron |
| 2003 | Constraint Satisfaction Differential Problems. | Jorge Cruz, Pedro Barahona |
| 2003 | Semi-automatic Modeling by Constraint Acquisition. | Remi Coletta, Christian Bessire, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Jol Quinqueton |
| 2003 | Soft Constraints: Complexity and Multimorphisms. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2003 | A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure. | David A. Cohen |
| 2003 | Propagation Redundancy in Redundant Modelling. | Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | Box Constraint Collections for Adhoc Constraints. | Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms. | Hubie Chen |
| 2003 | Self Configuring Constraint Programming Systems. | Tom Carchrae |
| 2003 | An Algebraic Approach to Multi-sorted Constraints. | Andrei A. Bulatov, Peter Jeavons |
| 2003 | Distributed Forward Checking. | Ismel Brito, Pedro Meseguer |
| 2003 | Constraint Programming for Modelling and Solving Modal Satisfability. | Sebastian Brand, Rosella Gennari, Maarten de Rijke |
| 2003 | Extending CLP with Metaheuristics. | Ole Boysen |
| 2003 | Constraint-Based Optimization with the Minimax Decision Criterion. | Craig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans |
| 2003 | On the Enhancement of the Informed Backtracking Algorithm. | Jlifi Boutheina, Khaled Ghdira |