| 2003 | Dynamic Step Size Adjustment in Iterative Deepening Search. | Daniel Sheridan |
| 2003 | Cost-Based Filtering for Shorter Path Constraints. | Meinolf Sellmann |
| 2003 | Approximated Consistency for Knapsack Constraints. | Meinolf Sellmann |
| 2003 | Distributed Constraint-Based Railway Simulation. | Hans Schlenker |
| 2003 | Terminating Decision Algorithms Optimally. | Tuomas Sandholm |
| 2003 | Automated Mechanism Design: A New Application Area for Search Algorithms. | Tuomas Sandholm |
| 2003 | Greater Efficiency for Conditional Constraint Satisfaction. | Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace |
| 2003 | Watching Clauses in Quantified Boolean Formulae. | Andrew G. D. Rowley |
| 2003 | Explanations for Global Constraints. | Guillaume Rochart |
| 2003 | Using Constraint Programming to Solve the Maximum Clique Problem. | Jean-Charles Rgin |
| 2003 | Maintaining Dominance Consistency. | Igor Razgon, Amnon Meisels |
| 2003 | Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities. | Stefan Ratschan |
| 2003 | Search for Mathematical Objects. | Colin Quirke |
| 2003 | An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint. | Claude-Guy Quimper, Peter van Beek, Alejandro Lpez-Ortiz, Alexander Golynski, Sayyed Bashir Sadjad |
| 2003 | Symmetry Breaking Using Stabilizers. | Jean-Francois Puget |
| 2003 | A SAT-Based Approach to Multiple Sequence Alignment. | Steven D. Prestwich, Desmond G. Higgins, Orla O'Sullivan |
| 2003 | Tree Local Search. | Nicolas Prcovic |
| 2003 | Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. | Jordi Planes |
| 2003 | Symmetry Breaking in Graceful Graphs. | Karen E. Petrie, Barbara M. Smith |
| 2003 | Comparison of Symmetry Breaking Methods. | Karen E. Petrie |
| 2003 | Applying Interchangeability Techniques to the Distributed Breakout Algorithm. | Adrian Petcu, Boi Faltings |
| 2003 | Efficient Represenation of Discrete Sets for Constraint Programming. | Shuji Ohnishi, Hiroaki Tasaka, Naoyuki Tamura |
| 2003 | Generating High Quality Schedules for a Spacecraft Memory Downlink Problem. | Angelo Oddi, Nicola Policella, Amedeo Cesta, Gabriella Cortellessa |
| 2003 | Teacher and Learner Profiles for Constraint Acquisition. | Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder |
| 2003 | Useful Explanations. | Barry O'Callaghan, Eugene C. Freuder, Barry O'Sullivan |