| 2000 | Maintaining Arc-Consistency within Dynamic Backtracking. | Narendra Jussien, Romuald Debruyne, Patrice Boizumault |
| 2000 | A Constraint Programming Approach for Solving Rigid Geometric Systems. | Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher |
| 2000 | A Scalable Linear Constraint Solver for User Interface Construction. | Hiroshi Hosobe |
| 2000 | An Empirical Study of Probabilistic Arc Consistency. | Michael C. Horsch, William S. Havens |
| 2000 | Cooperating Constraint Solvers. | Petra Hofstedt |
| 2000 | The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results. | Katsutoshi Hirayama, Makoto Yokoo, Katia P. Sycara |
| 2000 | How to Model and Verify Concurrent Algorithms for Distributed CSPs. | Markus Hannebauer |
| 2000 | A Constraint-Based Framework for Prototyping Distributed Virtual Applications. | Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Lufer |
| 2000 | Constraint Propagation: Between Abstract Models and ad hoc Strategies. | Laurent Granvilliers, ric Monfroy |
| 2000 | Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes. | David W. Fowler, Kenneth N. Brown |
| 2000 | Cutting Planes in Constraint Programming: A Hybrid Approach. | Filippo Focacci, Andrea Lodi, Michela Milano |
| 2000 | Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. | Alain Colmerauer, Thi-Bich-Hanh Dao |
| 2000 | New Tractable Classes from Old. | David A. Cohen, Peter Jeavons, Richard Gault |
| 2000 | Random 3-SAT: The Plot Thickens. | Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi |
| 2000 | A Language for Audiovisual Template Specification and Recognition. | Jean Carrive, Pierre Roy, Franois Pachet, Rmi Ronfard |
| 2000 | Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. | Renato Bruni, Antonio Sassano |
| 2000 | Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints. | Mathias Broxvall, Peter Jonsson, Jochen Renz |
| 2000 | Constraints, Inference Channels and Secure Databases. | Alexander Brodsky, Csilla Farkas, Duminda Wijesekera, Xiaoyang Sean Wang |
| 2000 | Constraints for Interactive Graphical Applications. | Alan Borning |
| 2000 | Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. | Stefano Bistarelli, Rosella Gennari, Francesca Rossi |
| 2000 | Universally Quantified Interval Constraints. | Frdric Benhamou, Frdric Goualard |
| 2000 | Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type. | Nicolas Beldiceanu |
| 2000 | Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. | Lus Baptista, Joo Marques-Silva |
| 2000 | Extending Forward Checking. | Fahiem Bacchus |
| 2000 | Some Observations on Durations, Scheduling and Allen's Algebra. | Ola Angelsmark, Peter Jonsson |