| 2001 | Interaction of Constraint Programming and Local Search for Optimisation Problems. | Francisco Azevedo, Pedro Barahona |
| 2001 | The Phase Transition of the Linear Inequalities Problem. | Alessandro Armando, Felice Peccia, Silvio Ranise |
| 2001 | Random 3-SAT and BDDs: The Plot Thickens Further. | Alfonso San Miguel Aguirre, Moshe Y. Vardi |
| 2001 | Towards Inductive Constraint Solving. | Slim Abdennadher, Christophe Rigotti |
| 2000 | Arc Consistency on | Yuanlin Zhang, Roland H. C. Yap |
| 2000 | Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. | Hui Wu, Joxan Jaffar, Roland H. C. Yap |
| 2000 | SAT v CSP. | Toby Walsh |
| 2000 | Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization. | Benjamin W. Wah, Yi-Xin Chen |
| 2000 | Algebraic Simplification Techniques for Propositional Satisfiability. | Joo Marques-Silva |
| 2000 | Arc Consistency for Soft Constraints. | Thomas Schiex |
| 2000 | An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions. | Yuko Sakurai, Makoto Yokoo, Koji Kamei |
| 2000 | Efficient Querying of Periodic Spatiotemporal Objects. | Peter Z. Revesz, Mengchu Cai |
| 2000 | A Global Constraint Combining a Sum Constraint and Difference Constraints. | Jean-Charles Rgin, Michel Rueher |
| 2000 | An Original Constraint Based Approach for Solving over Constrained Problems. | Jean-Charles Rgin, Thierry Petit, Christian Bessire, Jean-Francois Puget |
| 2000 | Linear Formulation of Constraint Programming Models and Hybrid Solvers. | Philippe Refalo |
| 2000 | Singleton Consistencies. | Patrick Prosser, Kostas Stergiou, Toby Walsh |
| 2000 | A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. | Steven D. Prestwich |
| 2000 | On Dual Encodings for Non-binary Constraint Satisfaction Problems. | Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton |
| 2000 | Practical Investigation of Constraints with Graph Views. | Tobias Mller |
| 2000 | Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint. | Kurt Mehlhorn, Sven Thiel |
| 2000 | Meta-complexity Theorems: Talk Abstract. | David A. McAllester |
| 2000 | Constraint-Based Agents: The ABC's of CBA's. | Alan K. Mackworth |
| 2000 | Boosting Search with Variable Elimination. | Javier Larrosa |
| 2000 | Analysis of Random Noise and Random Walk Algorithms. | Bhaskar Krishnamachari, Xi Xie, Bart Selman, Stephen B. Wicker |
| 2000 | New Search Heuristics for Max-CSP. | Kalev Kask |