| 2002 | Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems. | Abdallah Elkhyari, Christelle Guret, Narendra Jussien |
| 2002 | Automatic Generation of Implied Clauses for SAT. | Lyndon Drake, Alan M. Frisch, Toby Walsh |
| 2002 | AC-3 | Marc R. C. van Dongen |
| 2002 | Temporal Planning through Mixed Integer Programming: A Preliminary Report. | Yannis Dimopoulos, Alfonso Gerevini |
| 2002 | Indexical-Based Solver Learning. | Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin |
| 2002 | Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. | Vctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi |
| 2002 | Amplification of Search Performance through Randomization of Heuristics. | Vincent A. Cicirello, Stephen F. Smith |
| 2002 | Modeling Camera Control with Constrained Hypertubes. | Marc Christie, ric Langunou, Laurent Granvilliers |
| 2002 | Beyond NP: Arc-Consistency for Quantified Constraints. | Lucas Bordeaux, ric Monfroy |
| 2002 | Improving Cost Calculations for Global Constraints in Local Search. | Markus Bohlin |
| 2002 | Interchangeability in Soft CSPs. | Stefano Bistarelli, Boi Faltings, Nicoleta Neagu |
| 2002 | Constraint Programming Contribution to Benders Decomposition: A Case Study. | Thierry Benoist, Etienne Gaudin, Benot Rottembourg |
| 2002 | Characterizing SAT Problems with the Row Convexity Property. | Hachemi Bennaceur, Chu Min Li |
| 2002 | A New Multi-resource cumulatives Constraint with Negative Heights. | Nicolas Beldiceanu, Mats Carlsson |
| 2002 | Visopt ShopFloor: On the Edge of Planning and Scheduling. | Roman Bartk |
| 2002 | Solving the Kirkman's Schoolgirl Problem in a Few Seconds. | Nicolas Barnier, Pascal Brisset |
| 2002 | Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem. | Gautam Appa, Ioannis Mourtos, Dimitris Magos |
| 2002 | Bridging the Gap between SAT and CSP. | Carlos Anstegui, Felip Many |
| 2002 | Determining the Number of Solutions to Binary CSP Instances. | Ola Angelsmark, Peter Jonsson, Svante Linusson, Johan Thapper |
| 2002 | On Optimal Correction of Inconsistent Linear Constraints. | Paula Amaral, Pedro Barahona |
| 2001 | Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT. | Weixiong Zhang |
| 2001 | Adaptive Constraint Handling with CHR in Java. | Armin Wolf |
| 2001 | iOpt: A Software Toolkit for Heuristic Search Methods. | Christos Voudouris, Raphal Dorne, David Lesaint, Anne Liret |
| 2001 | Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View. | Grard Verfaillie, Michel Lematre |
| 2001 | A Constraint Engine for Manufacturing Process Planning. | Jzsef Vncza, Andrs Mrkus |