| 2003 | Identifying Inconsistent CSPs by Relaxation. | Tomas Eric Nordlander, Kenneth N. Brown, Derek H. Sleeman |
| 2003 | A Composition Algorithm for Very Hard Graph 3-Colorability Instances. | Seiichi Nishihara, Kazunori Mizuno, Kohsuke Nishihara |
| 2003 | INCOP: An Open Library for INcomplete Combinatorial OPtimization. | Bertrand Neveu, Gilles Trombettoni |
| 2003 | Interactivity in Constraint Programming. | Toms Mller |
| 2003 | Resolution and Constraint Satisfaction. | David G. Mitchell |
| 2003 | Maintaining Longest Paths Incrementally. | Laurent Michel, Pascal Van Hentenryck |
| 2003 | NuSBDS: An Easy to Use Symmetry Breaking System. | Iain McDonald |
| 2003 | Reformulation Techniques for a Class of Permutation Problems. | Toni Mancini |
| 2003 | A Synthesis of Constraint Satisfaction and Constraint Solving. | Michael J. Maher |
| 2003 | Discrepancy-Based Additive Bounding for the AllDifferent Constraint. | Andrea Lodi, Michela Milano, Louis-Martin Rousseau |
| 2003 | Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints. | Lengning Liu, Miroslaw Truszczynski |
| 2003 | Using Case-Based Reasoning to Write Constraint Programs. | James Little, Cormac Gebruers, Derek G. Bridge, Eugene C. Freuder |
| 2003 | Exploiting Microstructure in CSPs. | Chavalit Likitvivatanavong |
| 2003 | An Efficient Filtering Algorithm for Disjunction of Constraints. | Olivier Lhomme |
| 2003 | Boosting as a Metaphor for Algorithm Design. | Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham |
| 2003 | Search Programming. | Wojciech Legierski |
| 2003 | Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. | Christophe Lecoutre, Frdric Boussemart, Fred Hemery |
| 2003 | Solving 'Still Life' with Soft Constraints and Bucket Elimination. | Javier Larrosa, Enric Morancho |
| 2003 | Semi-independent Partitioning: A Method for Bounding the Solution to COP's. | David Larkin |
| 2003 | Observation of Constraint Programs. | Ludovic Langevine |
| 2003 | Intermediate (Learned) Consistencies. | Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali |
| 2003 | Using Constraints for Exploring Catalogs. | Franois Laburthe, Yves Caseau |
| 2003 | Constraints over Ontologies. | Franois Laburthe |
| 2003 | Incremental Computation of Resource-Envelopes in Producer-Consumer Models. | T. K. Satish Kumar |
| 2003 | Propagating N-Ary Rigid-Body Constraints. | Ludwig Krippahl, Pedro Barahona |