| 2001 | A CLP Approach to the Protein Side-Chain Placement Problem. Martin T. Swain, Graham J. L. Kemp |
| 2001 | A Constraint Engine for Manufacturing Process Planning. József Váncza, András Márkus |
| 2001 | A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture. Juliette Mattioli, Nicolas Museux, Jean Jourdan, Pierre Savéant, Simon de Givry |
| 2001 | A Constraint Programming Approach to the Stable Marriage Problem. Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith |
| 2001 | A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation. Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni |
| 2001 | A Filtering Algorithm for the Stretch Constraint. Gilles Pesant |
| 2001 | A General Scheme for Multiple Lower Bound Computation in Constraint Optimization. Rina Dechter, Kalev Kask, Javier Larrosa |
| 2001 | A Temporal Concurrent Constraint Programming Calculus. Catuscia Palamidessi, Frank D. Valencia |
| 2001 | AbsCon: A Prototype to Solve CSPs with Abstraction. Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart |
| 2001 | Adaptive Constraint Handling with CHR in Java. Armin Wolf |
| 2001 | Aircraft Assignment Using Constraint Programming. Erik Kilborn |
| 2001 | An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm. Miguel A. Salido, Federico Barber |
| 2001 | Asynchronous Search for Numeric DisCSPs. Marius-Calin Silaghi, Stefan Sabau, Djamila Sam-Haroud, Boi Faltings |
| 2001 | Automatic Generation of Implied Clauses for SAT. Lyndon Drake |
| 2001 | Boosting Local Search with Artificial Ants. Christine Solnon |
| 2001 | Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming. Erlendur S. Thorsteinsson |
| 2001 | Building Negative Reduced Cost Paths Using Constraint Programming. Louis-Martin Rousseau, Gilles Pesant, Michel Gendreau |
| 2001 | Capturing Structure with Satisfiability. Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes |
| 2001 | Collaborative Learning for Constraint Solving. Susan L. Epstein, Eugene C. Freuder |
| 2001 | Comparing SAT Encodings for Model Checking. Daniel Sheridan |
| 2001 | Components for State Restoration in Tree Search. Chiu Wo Choi, Martin Henz, Ka Boon Ng |
| 2001 | Composition Operators for Constraint Propagation: An Application to Choco. Laurent Granvilliers, Éric Monfroy |
| 2001 | Consistency Maintenance for ABT. Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings |
| 2001 | Constraint Generation via Automated Theory Formation. Simon Colton, Ian Miguel |
| 2001 | Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems. Andrea Panati |
| 2001 | Constraint Programming for Distributed Resource Allocation. Pragnesh Jay Modi |
| 2001 | Constraint-Based Verification of Client-Server Protocols. Giorgio Delzanno, Tevfik Bultan |
| 2001 | Counting Satisfiable k-CNF Formulas. Mitchell A. Harris |
| 2001 | Deriving Explanations and Implications for Constraint Satisfaction Problems. Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace |
| 2001 | Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation. Hyuckchul Jung |
| 2001 | Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers. Georg Ringwelski |
| 2001 | Distributed Dynamic Backtracking. Christian Bessière, Arnold Maestre, Pedro Meseguer |
| 2001 | Dual Models of Permutation Problems. Barbara M. Smith |
| 2001 | Evaluation of Search Heuristics for Embedded System Scheduling Problems. Cecilia Ekelin, Jan Jonsson |
| 2001 | Exploiting the CSP Structure by Interchangeability. Nicoleta Neagu |
| 2001 | Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies. Peter van Beek, Kent D. Wilken |
| 2001 | Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores. Rolf Backofen, Sebastian Will |
| 2001 | Formal Models of Heavy-Tailed Behavior in Combinatorial Search. Hubie Chen, Carla P. Gomes, Bart Selman |
| 2001 | GAC on Conjunctions of Constraints. George Katsirelos, Fahiem Bacchus |
| 2001 | Generating Tradeoffs for Interactive Constraint-Based Configuration. Eugene C. Freuder, Barry O'Sullivan |
| 2001 | Global Cut Framework for Removing Symmetries. Filippo Focacci, Michela Milano |
| 2001 | Heterogeneous Constraint Problems. Frank Seelisch |
| 2001 | High-Level Modelling and Reformulation of Constraint Satisfaction Problems. Brahim Hnich |
| 2001 | Hybrid Benders Decomposition Algorithms in Constraint Logic Programming. Andrew Eremin, Mark Wallace |
| 2001 | Improving SAT Algorithms by Using Search Pruning Techniques. Inês Lynce, João Marques-Silva |
| 2001 | In Search of a Phase Transition in the AC-Matching Problem. Phokion G. Kolaitis, Thomas Raffill |
| 2001 | Interaction of Constraint Programming and Local Search for Optimisation Problems. Francisco Azevedo, Pedro Barahona |
| 2001 | Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching. Markus P. J. Fromherz, James V. Mahoney |
| 2001 | Labelling Heuristics for CSP Application Domains. Zeynep Kiziltan |
| 2001 | Lower Bounds for Non-binary Constraint Optimization Problems. Pedro Meseguer, Javier Larrosa, Martí Sánchez-Fibla |
| 2001 | Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem. Christian Bessière, Assef Chmeiss, Lakhdar Sais |
| 2001 | Network Flow Problems in Constraint Programming. Alexander Bockmayr, Nicolai Pisaruk, Abderrahmane Aggoun |
| 2001 | New Lower Bounds of Constraint Violations for Over-Constrained Problems. Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget |
| 2001 | Non-overlapping Constraints between Convex Polytopes. Nicolas Beldiceanu, Qi Guo, Sven Thiel |
| 2001 | On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. Amy M. Beckwith, Berthe Y. Choueiry |
| 2001 | One Flip per Clock Cycle. Martin Henz, Edgar Tan, Roland H. C. Yap |
| 2001 | Optimal Pruning in Parametric Differential Equations. Micha Janssen, Pascal Van Hentenryck, Yves Deville |
| 2001 | Optimum Symmetry Breaking in CSPs Using Group Theory. Iain McDonald |
| 2001 | Partial Stable Generated Models of Generalized Logic Programs with Constraints. Sibylle Schwarz |
| 2001 | Partially Ordered Constraint Optimization Problems. Marco Gavanelli |
| 2001 | Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency. Hachemi Bennaceur, Mohamed-Salah Affane |
| 2001 | Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT. Weixiong Zhang |
| 2001 | Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings Toby Walsh |
| 2001 | Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family. Nicolas Beldiceanu |
| 2001 | Random 3-SAT and BDDs: The Plot Thickens Further. Alfonso San Miguel Aguirre, Moshe Y. Vardi |
| 2001 | Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View. Gérard Verfaillie, Michel Lemaître |
| 2001 | Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination. Edward A. Hirsch, Arist Kojevnikov |
| 2001 | Solving Constraints over Floating-Point Numbers. Claude Michel, Michel Rueher, Yahia Lebbah |
| 2001 | Solving Disjunctive Constraints for Interactive Graphical Applications. Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning |
| 2001 | Solving Non-binary CSPs Using the Hidden Variable Encoding. Nikos Mamoulis, Kostas Stergiou |
| 2001 | Specializing Russian Doll Search. Pedro Meseguer, Martí Sánchez-Fibla |
| 2001 | Specific Filtering Algorithms for Over-Constrained Problems. Thierry Petit, Jean-Charles Régin, Christian Bessière |
| 2001 | Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro |
| 2001 | Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. Nicolas Beldiceanu, Mats Carlsson |
| 2001 | Symmetry Breaking. Torsten Fahle, Stefan Schamberger, Meinolf Sellmann |
| 2001 | Temporal Concurrent Constraint Programming. Frank D. Valencia |
| 2001 | The Expressive Power of Binary Linear Programming. Marco Cadoli |
| 2001 | The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10. Olivier Dubois, Gilles Dequen |
| 2001 | The Phase Transition of the Linear Inequalities Problem. Alessandro Armando, Felice Peccia, Silvio Ranise |
| 2001 | The Traveling Tournament Problem Description and Benchmarks. Kelly Easton, George L. Nemhauser, Michael A. Trick |
| 2001 | Towards Inductive Constraint Solving. Slim Abdennadher, Christophe Rigotti |
| 2001 | Towards Stochastic Constraint Programming: A Study of Online Multi-choice Knapsack with Deadlines. Thierry Benoist, Eric Bourreau, Yves Caseau, Benoît Rottembourg |
| 2001 | Translations for Comparing Soft Frameworks. Rosella Gennari |
| 2001 | Verification of Infinite-State Systems by Specialization of CLP Programs. Fabio Fioravanti |
| 2001 | iOpt: A Software Toolkit for Heuristic Search Methods. Christos Voudouris, Raphaël Dorne, David Lesaint, Anne Liret |