| 2003 | Symmetry Breaking Ordering Constraints. | Zeynep Kiziltan |
| 2003 | Optimising the Representation and Evaluation of Semiring Combination Constraints. | Jerome Kelleher, Barry O'Sullivan |
| 2003 | Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. | Henry A. Kautz, Bart Selman |
| 2003 | Unrestricted Nogood Recording in CSP Search. | George Katsirelos, Fahiem Bacchus |
| 2003 | Fast Bound Consistency for the Global Cardinality Constraint. | Irit Katriel, Sven Thiel |
| 2003 | Preference Constraints: New Global Soft Constraints Dedicated to Preference Binary Relations. | Rmy-Robert Joseph, Peter Chan, Michael Hiroux, Georges Weil |
| 2003 | A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container. | Wen Qi Huang, Yu Li, Bernard Jurkowiak, Chu Min Li, Ru Chu Xu |
| 2003 | A Constraint-Aided Conceptual Design Environment for Autodesk Inventor. | Alan Holland, Barry O'Callaghan, Barry O'Sullivan |
| 2003 | Algorithmic Mechanism Design and Constraints. | Alan Holland, Barry O'Sullivan |
| 2003 | A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stabe Set Problem. | Willem Jan van Hoeve |
| 2003 | distn: An Euclidean Distance Global Constraint. | Michal Heusch |
| 2003 | Control Abstractions for Local Search. | Pascal Van Hentenryck, Laurent Michel |
| 2003 | Solution Stability in Constraint Satisfaction Problems. | Emmanuel Hebrard |
| 2003 | CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions. | Alessio Guerri, Michela Milano |
| 2003 | Tractability by Approximating Constraint Languages. | Martin James Green, David A. Cohen |
| 2003 | Improved Algorithms for Max-restricted Path Consistency. | Fabrizio Grandoni, Giuseppe F. Italiano |
| 2003 | A Canonicity Test for Configuration. | Stphane Grandcolas, Laurent Henocque, Nicolas Prcovic |
| 2003 | Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems. | Nuno Gomes, Zita A. Vale, Carlos Ramos |
| 2003 | Constraint Reasoning over Strings. | Keith Golden, Wanlin Pang |
| 2003 | Sensitivity Analysis in CSPs. | Diarmuid Glynn |
| 2003 | Solving Max-SAT as Weighted CSP. | Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex |
| 2003 | (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2003 | Abstracting Constraints Using Constraints. | James Gibbons |
| 2003 | Supertree Construction with Constraint Programming. | Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei |
| 2003 | Using Stochastic Local Search to Solve Quantified Boolean Formulae. | Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth |