| 2002 | A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. Luis Quesada, Peter Van Roy |
| 2002 | A Dual Graph Translation of a Problem in 'Life'. Barbara M. Smith |
| 2002 | A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. Yahia Lebbah, Michel Rueher, Claude Michel |
| 2002 | A Hybrid Approach for SAT. Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez |
| 2002 | A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. Linda van Norden, Hans van Maaren |
| 2002 | A Modeling Framework for Constraints. Gerrit Renker |
| 2002 | A New Multi-resource cumulatives Constraint with Negative Heights. Nicolas Beldiceanu, Mats Carlsson |
| 2002 | A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form. Frank Seelisch |
| 2002 | A Relational Constraint Solver for Model-Based Engineering. Jakob Mauss, Frank Seelisch, Mugur M. Tatar |
| 2002 | A Relaxation of the Cumulative Constraint. John N. Hooker, Hong Yan |
| 2002 | AC-3 Marc R. C. van Dongen |
| 2002 | Accelerating Random Walks. Wei Wei, Bart Selman |
| 2002 | Algebraic Properties of CSP Model Operators. Yat Chiu Law, Jimmy Ho-Man Lee |
| 2002 | Amplification of Search Performance through Randomization of Heuristics. Vincent A. Cicirello, Stephen F. Smith |
| 2002 | An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint. Meinolf Sellmann |
| 2002 | Automatic Generation of Implied Clauses for SAT. Lyndon Drake, Alan M. Frisch, Toby Walsh |
| 2002 | Batch Processing with Sequence Dependent Setup Times. Petr Vilím |
| 2002 | Beyond NP: Arc-Consistency for Quantified Constraints. Lucas Bordeaux, Éric Monfroy |
| 2002 | Breaking Row and Column Symmetries in Matrix Models. Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh |
| 2002 | Bridging the Gap between SAT and CSP. Carlos Ansótegui, Felip Manyà |
| 2002 | Characterizing SAT Problems with the Row Convexity Property. Hachemi Bennaceur, Chu Min Li |
| 2002 | Communication and Computation in Distributed CSP Algorithms. Cèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes |
| 2002 | Computing the Envelope for Stepwise-Constant Resource Allocations. Nicola Muscettola |
| 2002 | Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems. Abdallah Elkhyari, Christelle Guéret, Narendra Jussien |
| 2002 | Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints. Muriel Lauvergne, Philippe David, Patrice Boizumault |
| 2002 | Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions. Spiros Skiadopoulos, Manolis Koubarakis |
| 2002 | Constraint Modeling in the Context of Academic Task Assignment. Robert Glaubius, Berthe Y. Choueiry |
| 2002 | Constraint Programming Contribution to Benders Decomposition: A Case Study. Thierry Benoist, Etienne Gaudin, Benoît Rottembourg |
| 2002 | Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi |
| 2002 | Constraint Solving in Test-Data Generation. Yuan Zhan |
| 2002 | Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints. Stefan Ratschan |
| 2002 | Criticality and Parallelism in Structured SAT Instances. Andrea Roli |
| 2002 | Design Tradeoffs for Autonomous Trading Agents. Ioannis A. Vetsikas |
| 2002 | Design of a New Metaheuristic for MAXSAT Problems. Andrea Roli |
| 2002 | Determining the Number of Solutions to Binary CSP Instances. Ola Angelsmark, Peter Jonsson, Svante Linusson, Johan Thapper |
| 2002 | Disjunctive and Continuous Constraint Satisfaction Problems. Miguel A. Salido, Federico Barber |
| 2002 | Distributed Constraint-Based Railway Simulation. Hans Schlenker |
| 2002 | Global Constraints for Lexicographic Orderings. Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh |
| 2002 | Groups and Constraints: Symmetry Breaking during Search. Ian P. Gent, Warwick Harvey, Tom W. Kelsey |
| 2002 | Heuristic Constraint Propagation. Meinolf Sellmann, Warwick Harvey |
| 2002 | Improving Cost Calculations for Global Constraints in Local Search. Markus Bohlin |
| 2002 | Improving GSAT Using 2SAT. Peter J. Stuckey, Lei Zheng |
| 2002 | Indexical-Based Solver Learning. Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin |
| 2002 | Inferring Constraint Types in Constraint Programming. David Lesaint |
| 2002 | Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem. Gautam Appa, Ioannis Mourtos, Dimitris Magos |
| 2002 | Integrating Search Objects in Asynchronous Constraint Solving. Georg Ringwelski |
| 2002 | Interactive Heuristic Search Algorithm. Tomás Müller |
| 2002 | Interchangeability in Soft CSPs. Stefano Bistarelli, Boi Faltings, Nicoleta Neagu |
| 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 | Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions. Kevin Leyton-Brown, Eugene Nudelman, Yoav Shoham |
| 2002 | Local Probing Applied to Scheduling. Olli Kamarainen, Hani El Sakkout |
| 2002 | Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State. Brian C. Williams, Michel D. Ingham |
| 2002 | Modeling Camera Control with Constrained Hypertubes. Marc Christie, Éric Languénou, Laurent Granvilliers |
| 2002 | Models of Injection Problems. Brahim Hnich, Toby Walsh |
| 2002 | On Constraint Problems with Incomplete or Erroneous Data. Neil Yorke-Smith |
| 2002 | On Constraint Problems with Incompleteor Erroneous Data. Neil Yorke-Smith, Carmen Gervet |
| 2002 | On Optimal Correction of Inconsistent Linear Constraints. Paula Amaral, Pedro Barahona |
| 2002 | On the Sum Constraint: Relaxation and Applications. Tallys H. Yunes |
| 2002 | Open Constraint Satisfaction. Boi Faltings, Santiago Macho-Gonzalez |
| 2002 | Opportunistic Specialization in Russian Doll Search. Pedro Meseguer, Martí Sánchez-Fibla, Gérard Verfaillie |
| 2002 | Partial Symmetry Breaking. Iain McDonald, Barbara M. Smith |
| 2002 | Partial Symmetry Breaking. Iain McDonald |
| 2002 | Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings Pascal Van Hentenryck |
| 2002 | Range-Based Algorithm for Max-CSP. Thierry Petit, Jean-Charles Régin, Christian Bessière |
| 2002 | Recovering and Exploiting Structural Knowledge from CNF Formulas. Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais |
| 2002 | Reduced Cost-Based Ranking for Generating Promising Subproblems. Michela Milano, Willem Jan van Hoeve |
| 2002 | Reducing Symmetry in Matrix Models. Zeynep Kiziltan |
| 2002 | Resolution Complexity of Random Constraints. David G. Mitchell |
| 2002 | Restart Policies with Dependence among Runs: A Dynamic Programming Approach. Yongshao Ruan, Eric Horvitz, Henry A. Kautz |
| 2002 | Robust and Parallel Solving of a Network Design Problem. Claude Le Pape, Laurent Perron, Jean-Charles Régin, Paul Shaw |
| 2002 | Scaling Properties of Pure Random Walk on Random 3-SAT. Andrew J. Parkes |
| 2002 | Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos |
| 2002 | Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information. Makoto Yokoo, Koutarou Suzuki, Katsutoshi Hirayama |
| 2002 | Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems. Kristen Brent Venable |
| 2002 | Solving the Kirkman's Schoolgirl Problem in a Few Seconds. Nicolas Barnier, Pascal Brisset |
| 2002 | Studying Interchangeability in Constraint Satisfaction Problems. Nicoleta Neagu |
| 2002 | Symmetry Breaking Revisited. Jean-Francois Puget |
| 2002 | Symmetry Breaking in Peaceably Coexisting Armies of Queens. Karen E. Petrie |
| 2002 | Temporal Planning through Mixed Integer Programming: A Preliminary Report. Yannis Dimopoulos, Alfonso Gerevini |
| 2002 | The Adaptive Constraint Engine. Susan L. Epstein, Eugene C. Freuder, Richard J. Wallace, Anton Morozov, Bruce Samuels |
| 2002 | Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. Lintao Zhang, Sharad Malik |
| 2002 | Tuning Randomization in Backtrack Search SAT Algorithms. Inês Lynce, João Marques-Silva |
| 2002 | Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling. Mattias Grönkvist |
| 2002 | Visopt ShopFloor: On the Edge of Planning and Scheduling. Roman Barták |