| 2001 | Optimum Symmetry Breaking in CSPs Using Group Theory. | Iain McDonald |
| 2001 | A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture. | Juliette Mattioli, Nicolas Museux, Jean Jourdan, Pierre Savant, Simon de Givry |
| 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 | Improving SAT Algorithms by Using Search Pruning Techniques. | Ins Lynce, Joo Marques-Silva |
| 2001 | In Search of a Phase Transition in the AC-Matching Problem. | Phokion G. Kolaitis, Thomas Raffill |
| 2001 | Labelling Heuristics for CSP Application Domains. | Zeynep Kiziltan |
| 2001 | Aircraft Assignment Using Constraint Programming. | Erik Kilborn |
| 2001 | GAC on Conjunctions of Constraints. | George Katsirelos, Fahiem Bacchus |
| 2001 | Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation. | Hyuckchul Jung |
| 2001 | Optimal Pruning in Parametric Differential Equations. | Micha Janssen, Pascal Van Hentenryck, Yves Deville |
| 2001 | High-Level Modelling and Reformulation of Constraint Satisfaction Problems. | Brahim Hnich |
| 2001 | Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination. | Edward A. Hirsch, Arist Kojevnikov |
| 2001 | One Flip per Clock Cycle. | Martin Henz, Edgar Tan, Roland H. C. Yap |
| 2001 | Counting Satisfiable k-CNF Formulas. | Mitchell A. Harris |
| 2001 | Composition Operators for Constraint Propagation: An Application to Choco. | Laurent Granvilliers, ric Monfroy |
| 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 | Translations for Comparing Soft Frameworks. | Rosella Gennari |
| 2001 | Partially Ordered Constraint Optimization Problems. | Marco Gavanelli |
| 2001 | Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro |
| 2001 | Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching. | Markus P. J. Fromherz, James V. Mahoney |
| 2001 | Generating Tradeoffs for Interactive Constraint-Based Configuration. | Eugene C. Freuder, Barry O'Sullivan |
| 2001 | Deriving Explanations and Implications for Constraint Satisfaction Problems. | Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace |
| 2001 | Global Cut Framework for Removing Symmetries. | Filippo Focacci, Michela Milano |
| 2001 | Verification of Infinite-State Systems by Specialization of CLP Programs. | Fabio Fioravanti |