| 2003 | (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2003 | A Canonicity Test for Configuration. Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic |
| 2003 | A Composition Algorithm for Very Hard Graph 3-Colorability Instances. Seiichi Nishihara, Kazunori Mizuno, Kohsuke Nishihara |
| 2003 | A Constraint-Aided Conceptual Design Environment for Autodesk Inventor. Alan Holland, Barry O'Callaghan, Barry O'Sullivan |
| 2003 | A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stabe Set Problem. Willem Jan van Hoeve |
| 2003 | A New Approach to Solving SAT-Encoded Binary CSPs. Carlos Ansótegui |
| 2003 | A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure. David A. Cohen |
| 2003 | A SAT-Based Approach to Multiple Sequence Alignment. Steven D. Prestwich, Desmond G. Higgins, Orla O'Sullivan |
| 2003 | A Synthesis of Constraint Satisfaction and Constraint Solving. Michael J. Maher |
| 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 Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows. Russell Bent, Pascal Van Hentenryck |
| 2003 | A Wealth of SAT Distributions with Planted Assignments. Tassos Dimitriou |
| 2003 | Abstracting Constraints Using Constraints. James Gibbons |
| 2003 | Algorithmic Mechanism Design and Constraints. Alan Holland, Barry O'Sullivan |
| 2003 | An Adaptive Controller for Real-Time Resolution of the Vehicle Routing Problem. Ann Tighe, Finlay S. Smith, Gerard Lyons |
| 2003 | An Algebraic Approach to Multi-sorted Constraints. Andrei A. Bulatov, Peter Jeavons |
| 2003 | An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint. Claude-Guy Quimper, Peter van Beek, Alejandro López-Ortiz, Alexander Golynski, Sayyed Bashir Sadjad |
| 2003 | An Efficient Filtering Algorithm for Disjunction of Constraints. Olivier Lhomme |
| 2003 | Applying Interchangeability Techniques to the Distributed Breakout Algorithm. Adrian Petcu, Boi Faltings |
| 2003 | Approximated Consistency for Knapsack Constraints. Meinolf Sellmann |
| 2003 | Automated Mechanism Design: A New Application Area for Search Algorithms. Tuomas Sandholm |
| 2003 | Boosting Chaff's Performance by Incorporating CSP Heuristics. Carlos Ansótegui, Jose Larrubia, Felip Manyà |
| 2003 | Boosting as a Metaphor for Algorithm Design. Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham |
| 2003 | Bounded Backtracking for the Valued Constraint Satisfaction Problems. Cyril Terrioux, Philippe Jégou |
| 2003 | Box Constraint Collections for Adhoc Constraints. Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions. Alessio Guerri, Michela Milano |
| 2003 | Certainty Closure: A Framework for Reliable Constraint Reasoning with Uncertainty. Neil Yorke-Smith, Carmen Gervet |
| 2003 | Comparison of Symmetry Breaking Methods. Karen E. Petrie |
| 2003 | Computing Explanations for Global Scheduling Constraints. Petr Vilím |
| 2003 | Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. Toby Walsh |
| 2003 | Constraint Patterns. Toby Walsh |
| 2003 | Constraint Programming for Modelling and Solving Modal Satisfability. Sebastian Brand, Rosella Gennari, Maarten de Rijke |
| 2003 | Constraint Reasoning over Strings. Keith Golden, Wanlin Pang |
| 2003 | Constraint Satisfaction Differential Problems. Jorge Cruz, Pedro Barahona |
| 2003 | Constraint-Based Optimization with the Minimax Decision Criterion. Craig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans |
| 2003 | Constraints for Breaking More Row and Column Symmetries. Alan M. Frisch, Christopher Jefferson, Ian Miguel |
| 2003 | Constraints over Ontologies. François Laburthe |
| 2003 | Control Abstractions for Local Search. Pascal Van Hentenryck, Laurent Michel |
| 2003 | Cost-Based Filtering for Shorter Path Constraints. Meinolf Sellmann |
| 2003 | Discrepancy-Based Additive Bounding for the AllDifferent Constraint. Andrea Lodi, Michela Milano, Louis-Martin Rousseau |
| 2003 | Distributed Constraint-Based Railway Simulation. Hans Schlenker |
| 2003 | Distributed Forward Checking. Ismel Brito, Pedro Meseguer |
| 2003 | Dynamic Step Size Adjustment in Iterative Deepening Search. Daniel Sheridan |
| 2003 | Efficient CNF Encoding of Boolean Cardinality Constraints. Olivier Bailleux, Yacine Boufkhad |
| 2003 | Efficient Represenation of Discrete Sets for Constraint Programming. Shuji Ohnishi, Hiroaki Tasaka, Naoyuki Tamura |
| 2003 | Explanations for Global Constraints. Guillaume Rochart |
| 2003 | Exploiting Microstructure in CSPs. Chavalit Likitvivatanavong |
| 2003 | Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. Christophe Lecoutre, Frédéric Boussemart, Fred Hemery |
| 2003 | Extending CLP with Metaheuristics. Ole Boysen |
| 2003 | Fast Bound Consistency for the Global Cardinality Constraint. Irit Katriel, Sven Thiel |
| 2003 | FeReRA: A Multi-agent Approach to Constraint Satisfaction. Muhammed Basharu |
| 2003 | Generating High Quality Schedules for a Spacecraft Memory Downlink Problem. Angelo Oddi, Nicola Policella, Amedeo Cesta, Gabriella Cortellessa |
| 2003 | Generic SBDD Using Computational Group Theory. Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton |
| 2003 | Greater Efficiency for Conditional Constraint Satisfaction. Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace |
| 2003 | HIBISCUS: A Constraint Programming Application to Staff Scheduling in Health Care. Stéphane Bourdais, Philippe Galinier, Gilles Pesant |
| 2003 | INCOP: An Open Library for INcomplete Combinatorial OPtimization. Bertrand Neveu, Gilles Trombettoni |
| 2003 | Identifying Inconsistent CSPs by Relaxation. Tomas Eric Nordlander, Kenneth N. Brown, Derek H. Sleeman |
| 2003 | Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems. Ola Angelsmark, Peter Jonsson |
| 2003 | Improved Algorithms for Max-restricted Path Consistency. Fabrizio Grandoni, Giuseppe F. Italiano |
| 2003 | Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. Jordi Planes |
| 2003 | Improving Backtrack Search for Solving the TCSP. Lin Xu, Berthe Y. Choueiry |
| 2003 | Incremental Computation of Resource-Envelopes in Producer-Consumer Models. T. K. Satish Kumar |
| 2003 | Interactive Tradeoff Generation. Moyra Duggan, Barry O'Sullivan, Eugene C. Freuder |
| 2003 | Interactivity in Constraint Programming. Tomás Müller |
| 2003 | Intermediate (Learned) Consistencies. Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali |
| 2003 | Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. Pierre Flener, Justin Pearson, Magnus Ågren |
| 2003 | Languages versus Packages for Constraint Problem Solving. Mark Wallace |
| 2003 | Learning Good Variable Orderings. Paula Sturdy |
| 2003 | Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints. Lengning Liu, Miroslaw Truszczynski |
| 2003 | Maintaining Dominance Consistency. Igor Razgon, Amnon Meisels |
| 2003 | Maintaining Longest Paths Incrementally. Laurent Michel, Pascal Van Hentenryck |
| 2003 | NuSBDS: An Easy to Use Symmetry Breaking System. Iain McDonald |
| 2003 | Observation of Constraint Programs. Ludovic Langevine |
| 2003 | On the Enhancement of the Informed Backtracking Algorithm. Jlifi Boutheina, Khaled Ghédira |
| 2003 | Open Constraint Optimization. Boi Faltings, Santiago Macho-Gonzalez |
| 2003 | OpenSolver: A Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine. Peter Zoeteweij |
| 2003 | Optimising the Representation and Evaluation of Semiring Combination Constraints. Jerome Kelleher, Barry O'Sullivan |
| 2003 | Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms. Hubie Chen |
| 2003 | Preference Constraints: New Global Soft Constraints Dedicated to Preference Binary Relations. Rémy-Robert Joseph, Peter Chan, Michael Hiroux, Georges Weil |
| 2003 | Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings Francesca Rossi |
| 2003 | Propagating N-Ary Rigid-Body Constraints. Ludwig Krippahl, Pedro Barahona |
| 2003 | Propagation Redundancy in Redundant Modelling. Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | Pruning while Sweeping over Task Intervals. Armin Wolf |
| 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 | Redundant Modeling for the QuasiGroup Completion Problem. Iván Dotú, Alvaro del Val, Manuel Cebrián |
| 2003 | Reformulation Techniques for a Class of Permutation Problems. Toni Mancini |
| 2003 | Resolution and Constraint Satisfaction. David G. Mitchell |
| 2003 | Restart Strategies: Analysis and Simulation. Huayue Wu, Peter van Beek |
| 2003 | Scene Reconstruction Based on Constraints: Details on the Equation System Decomposition. Gilles Trombettoni, Marta Wilczkowiak |
| 2003 | Scheduling in the Face of Uncertain Resource Consumption and Utility. Jeremy Frank, Richard Dearden |
| 2003 | Search Programming. Wojciech Legierski |
| 2003 | Search for Mathematical Objects. Colin Quirke |
| 2003 | Self Configuring Constraint Programming Systems. Tom Carchrae |
| 2003 | Semantic Decomposition for Solving Distance Constraints. Heikel Batnini, Michel Rueher |
| 2003 | Semi-automatic Modeling by Constraint Acquisition. Remi Coletta, Christian Bessière, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joël Quinqueton |
| 2003 | Semi-independent Partitioning: A Method for Bounding the Solution to COP's. David Larkin |
| 2003 | Sensitivity Analysis in CSPs. Diarmuid Glynn |
| 2003 | Soft Constraints: Complexity and Multimorphisms. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2003 | Solution Stability in Constraint Satisfaction Problems. Emmanuel Hebrard |
| 2003 | Solving 'Still Life' with Soft Constraints and Bucket Elimination. Javier Larrosa, Enric Morancho |
| 2003 | Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities. Stefan Ratschan |
| 2003 | Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
| 2003 | Solving Max-SAT as Weighted CSP. Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex |
| 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 | Supertree Construction with Constraint Programming. Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei |
| 2003 | Symmetry Breaking Ordering Constraints. Zeynep Kiziltan |
| 2003 | Symmetry Breaking Using Stabilizers. Jean-Francois Puget |
| 2003 | Symmetry Breaking in Graceful Graphs. Karen E. Petrie, Barbara M. Smith |
| 2003 | Teacher and Learner Profiles for Constraint Acquisition. Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder |
| 2003 | Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. Henry A. Kautz, Bart Selman |
| 2003 | Terminating Decision Algorithms Optimally. Tuomas Sandholm |
| 2003 | To Be or Not to Be ... a Global Constraint. Christian Bessière, Pascal Van Hentenryck |
| 2003 | Toy(FD): Sketch of Operational Semantics. Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez |
| 2003 | Tractability by Approximating Constraint Languages. Martin James Green, David A. Cohen |
| 2003 | Tree Local Search. Nicolas Prcovic |
| 2003 | Unrestricted Nogood Recording in CSP Search. George Katsirelos, Fahiem Bacchus |
| 2003 | Useful Explanations. Barry O'Callaghan, Eugene C. Freuder, Barry O'Sullivan |
| 2003 | Using Case-Based Reasoning to Write Constraint Programs. James Little, Cormac Gebruers, Derek G. Bridge, Eugene C. Freuder |
| 2003 | Using Constraint Programming and Simulation for Execution Monitoring and On-Line Rescheduling with Uncertainty. Julien Bidot |
| 2003 | Using Constraint Programming to Solve the Maximum Clique Problem. Jean-Charles Régin |
| 2003 | Using Constraints for Exploring Catalogs. François Laburthe, Yves Caseau |
| 2003 | Using Stochastic Local Search to Solve Quantified Boolean Formulae. Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth |
| 2003 | Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems. Carlos Eisenberg, Boi Faltings |
| 2003 | Watching Clauses in Quantified Boolean Formulae. Andrew G. D. Rowley |
| 2003 | alpha-Dynamic Controllability of Simple Temporal Problems with Preferences and Uncertainty. Kristen Brent Venable |
| 2003 | clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming. Nicos Angelopoulos |
| 2003 | distn: An Euclidean Distance Global Constraint. Michaël Heusch |