| 2002 | Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions. | Spiros Skiadopoulos, Manolis Koubarakis |
| 2002 | Heuristic Constraint Propagation. | Meinolf Sellmann, Warwick Harvey |
| 2002 | An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint. | Meinolf Sellmann |
| 2002 | A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form. | Frank Seelisch |
| 2002 | Distributed Constraint-Based Railway Simulation. | Hans Schlenker |
| 2002 | Disjunctive and Continuous Constraint Satisfaction Problems. | Miguel A. Salido, Federico Barber |
| 2002 | Restart Policies with Dependence among Runs: A Dynamic Programming Approach. | Yongshao Ruan, Eric Horvitz, Henry A. Kautz |
| 2002 | Learning and Solving Soft Temporal Constraints: An Experimental Study. | Francesca Rossi, Alessandro Sperduti, Kristen Brent Venable, Lina Khatib, Paul H. Morris, Robert A. Morris |
| 2002 | Design of a New Metaheuristic for MAXSAT Problems. | Andrea Roli |
| 2002 | Criticality and Parallelism in Structured SAT Instances. | Andrea Roli |
| 2002 | Integrating Search Objects in Asynchronous Constraint Solving. | Georg Ringwelski |
| 2002 | A Modeling Framework for Constraints. | Gerrit Renker |
| 2002 | Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints. | Stefan Ratschan |
| 2002 | A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. | Luis Quesada, Peter Van Roy |
| 2002 | Symmetry Breaking Revisited. | Jean-Francois Puget |
| 2002 | Symmetry Breaking in Peaceably Coexisting Armies of Queens. | Karen E. Petrie |
| 2002 | Range-Based Algorithm for Max-CSP. | Thierry Petit, Jean-Charles Rgin, Christian Bessire |
| 2002 | Scaling Properties of Pure Random Walk on Random 3-SAT. | Andrew J. Parkes |
| 2002 | Robust and Parallel Solving of a Network Design Problem. | Claude Le Pape, Laurent Perron, Jean-Charles Rgin, Paul Shaw |
| 2002 | Recovering and Exploiting Structural Knowledge from CNF Formulas. | Richard Ostrowski, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2002 | A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. | Linda van Norden, Hans van Maaren |
| 2002 | Studying Interchangeability in Constraint Satisfaction Problems. | Nicoleta Neagu |
| 2002 | Computing the Envelope for Stepwise-Constant Resource Allocations. | Nicola Muscettola |
| 2002 | Interactive Heuristic Search Algorithm. | Toms Mller |
| 2002 | Resolution Complexity of Random Constraints. | David G. Mitchell |