| 2000 | A Constraint Programming Approach for Solving Rigid Geometric Systems. Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher |
| 2000 | A Constraint-Based Framework for Prototyping Distributed Virtual Applications. Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer |
| 2000 | A Global Constraint Combining a Sum Constraint and Difference Constraints. Jean-Charles Régin, Michel Rueher |
| 2000 | A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. Steven D. Prestwich |
| 2000 | A Language for Audiovisual Template Specification and Recognition. Jean Carrive, Pierre Roy, François Pachet, Rémi Ronfard |
| 2000 | A Scalable Linear Constraint Solver for User Interface Construction. Hiroshi Hosobe |
| 2000 | Algebraic Simplification Techniques for Propositional Satisfiability. João Marques-Silva |
| 2000 | An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions. Yuko Sakurai, Makoto Yokoo, Koji Kamei |
| 2000 | An Empirical Study of Probabilistic Arc Consistency. Michael C. Horsch, William S. Havens |
| 2000 | An Original Constraint Based Approach for Solving over Constrained Problems. Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget |
| 2000 | Analysis of Random Noise and Random Walk Algorithms. Bhaskar Krishnamachari, Xi Xie, Bart Selman, Stephen B. Wicker |
| 2000 | Arc Consistency for Soft Constraints. Thomas Schiex |
| 2000 | Arc Consistency on Yuanlin Zhang, Roland H. C. Yap |
| 2000 | Automatic Generation of Propagation Rules for Finite Domains. Slim Abdennadher, Christophe Rigotti |
| 2000 | Boosting Search with Variable Elimination. Javier Larrosa |
| 2000 | Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes. David W. Fowler, Kenneth N. Brown |
| 2000 | Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. Stefano Bistarelli, Rosella Gennari, Francesca Rossi |
| 2000 | Constraint Propagation: Between Abstract Models and ad hoc Strategies. Laurent Granvilliers, Éric Monfroy |
| 2000 | Constraint-Based Agents: The ABC's of CBA's. Alan K. Mackworth |
| 2000 | Constraints for Interactive Graphical Applications. Alan Borning |
| 2000 | Constraints, Inference Channels and Secure Databases. Alexander Brodsky, Csilla Farkas, Duminda Wijesekera, Xiaoyang Sean Wang |
| 2000 | Cooperating Constraint Solvers. Petra Hofstedt |
| 2000 | Cutting Planes in Constraint Programming: A Hybrid Approach. Filippo Focacci, Andrea Lodi, Michela Milano |
| 2000 | Efficient Querying of Periodic Spatiotemporal Objects. Peter Z. Revesz, Mengchu Cai |
| 2000 | Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. Alain Colmerauer, Thi-Bich-Hanh Dao |
| 2000 | Extending Forward Checking. Fahiem Bacchus |
| 2000 | Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint. Kurt Mehlhorn, Sven Thiel |
| 2000 | Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. Renato Bruni, Antonio Sassano |
| 2000 | Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type. Nicolas Beldiceanu |
| 2000 | How to Model and Verify Concurrent Algorithms for Distributed CSPs. Markus Hannebauer |
| 2000 | Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. Hui Wu, Joxan Jaffar, Roland H. C. Yap |
| 2000 | Linear Formulation of Constraint Programming Models and Hybrid Solvers. Philippe Refalo |
| 2000 | Maintaining Arc-Consistency within Dynamic Backtracking. Narendra Jussien, Romuald Debruyne, Patrice Boizumault |
| 2000 | Meta-complexity Theorems: Talk Abstract. David A. McAllester |
| 2000 | New Search Heuristics for Max-CSP. Kalev Kask |
| 2000 | New Tractable Classes from Old. David A. Cohen, Peter Jeavons, Richard Gault |
| 2000 | On Dual Encodings for Non-binary Constraint Satisfaction Problems. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton |
| 2000 | Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization. Benjamin W. Wah, Yi-Xin Chen |
| 2000 | Practical Investigation of Constraints with Graph Views. Tobias Müller |
| 2000 | Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings Rina Dechter |
| 2000 | Random 3-SAT: The Plot Thickens. Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi |
| 2000 | Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints. Mathias Broxvall, Peter Jonsson, Jochen Renz |
| 2000 | SAT v CSP. Toby Walsh |
| 2000 | Singleton Consistencies. Patrick Prosser, Kostas Stergiou, Toby Walsh |
| 2000 | Some Observations on Durations, Scheduling and Allen's Algebra. Ola Angelsmark, Peter Jonsson |
| 2000 | The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results. Katsutoshi Hirayama, Makoto Yokoo, Katia P. Sycara |
| 2000 | Universally Quantified Interval Constraints. Frédéric Benhamou, Frédéric Goualard |
| 2000 | Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. Luís Baptista, João Marques-Silva |