| 1997 | Interval Methods for Non-linear Constraints. | Laurent Michel, Jean-Francois Puget |
| 1997 | Localizer: A Modeling Language for Local Search. | Laurent Michel, Pascal Van Hentenryck |
| 1997 | Verification of Parallel Systems using Constraint Programming. | Stephan Melzer |
| 1997 | Look-Ahead Versus Look-Back for Satisfiability Problems. | Chu Min Li, Anbulagan |
| 1997 | Oscillation, Heuristic Ordering and Pruning in Neighborhood Search. | Jean-Marc Labat, Laurent Mynard |
| 1997 | Counting, Structure Identification and Maximum Consistency for Binary Constraint Satisfaction Problems. | Gabriel Istrate |
| 1997 | Finding Solvable Subsets of Constraint Graphs. | Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam |
| 1997 | Distributed Partial Constraint Satisfaction Problem. | Katsutoshi Hirayama, Makoto Yokoo |
| 1997 | On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups. | Miki Hermann, Phokion G. Kolaitis |
| 1997 | A Modeling Language for Constraint Programming. | Pascal Van Hentenryck |
| 1997 | Compiling Constraint Solving using Projection. | Warwick Harvey, Peter J. Stuckey, Alan Borning |
| 1997 | Reconfigurable Architectures: A New Vision for Optimization Problems. | Youssef Hamadi, David Merceron |
| 1997 | Tractable Recursion over Geometric Data. | Stphane Grumbach, Gabriel M. Kuper |
| 1997 | Heavy-Tailed Distributions in Combinatorial Search. | Carla P. Gomes, Bart Selman, Nuno Crato |
| 1997 | Bounding the Optimum of Constraint Optimization Problems. | Simon de Givry, Grard Verfaillie, Thomas Schiex |
| 1997 | The Logic of Search Algorithms: Theory and Applications. | Ian P. Gent, Judith L. Underwood |
| 1997 | The Constrainedness of Arc Consistency. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1997 | Tabu Search for Maximal Constraint Satisfaction Problems. | Philippe Galinier, Jin-Kao Hao |
| 1997 | Solving Classes of Set Constraints with Tree Automata. | Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
| 1997 | From Restricted Path Consistency to Max-Restricted Path Consistency. | Romuald Debruyne, Christian Bessire |
| 1997 | Tractable Disjunctive Constraints. | David A. Cohen, Peter Jeavons, Manolis Koubarakis |
| 1997 | Solving Various Weighted Matching Problems with Constraints. | Yves Caseau, Franois Laburthe |
| 1997 | Using Constraint Propagation for Complex Scheduling Problems: Managing Size, Complex Resources and Travel. | Yves Caseau |
| 1997 | AC-Unification of Higher-Order Patterns. | Alexandre Boudet, Evelyne Contejean |
| 1997 | Semantics and Expressive Power of a Timed Concurrent Constraint Language. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |