| 1997 | A Filtering Algorithm for Global Sequencing Constraints. Jean-Charles Régin, Jean-Francois Puget |
| 1997 | A Modeling Language for Constraint Programming. Pascal Van Hentenryck |
| 1997 | AC-Unification of Higher-Order Patterns. Alexandre Boudet, Evelyne Contejean |
| 1997 | Bounding the Optimum of Constraint Optimization Problems. Simon de Givry, Gérard Verfaillie, Thomas Schiex |
| 1997 | Compiling Constraint Solving using Projection. Warwick Harvey, Peter J. Stuckey, Alan Borning |
| 1997 | Configurable Solvers: Tailoring General Methods to Specific Applications. Steven Minton |
| 1997 | Constraint Propagation and Decomposition Techniques for Highly Disjunctive and Highly Cumulative Project Scheduling Problems. Philippe Baptiste, Claude Le Pape |
| 1997 | Counting, Structure Identification and Maximum Consistency for Binary Constraint Satisfaction Problems. Gabriel Istrate |
| 1997 | Distributed Partial Constraint Satisfaction Problem. Katsutoshi Hirayama, Makoto Yokoo |
| 1997 | Finding Solvable Subsets of Constraint Graphs. Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam |
| 1997 | Five Pitfalls of Empirical Scheduling Research. J. Christopher Beck, Andrew J. Davenport, Mark S. Fox |
| 1997 | From Restricted Path Consistency to Max-Restricted Path Consistency. Romuald Debruyne, Christian Bessière |
| 1997 | GENIUS-CP: a Generic Single-Vehicle Routing Algorithm. Gilles Pesant, Michel Gendreau, Jean-Marc Rousseau |
| 1997 | Heavy-Tailed Distributions in Combinatorial Search. Carla P. Gomes, Bart Selman, Nuno Crato |
| 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 | Look-Ahead Versus Look-Back for Satisfiability Problems. Chu Min Li, Anbulagan |
| 1997 | Modelling Exceptionally Hard Constraint Satisfaction Problems. Barbara M. Smith, Stuart A. Grant |
| 1997 | Narrowing a Block of Sortings in Quadratic Time. Noëlle Bleuzen-Guernalec, Alain Colmerauer |
| 1997 | NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models. Igor Shvetsov, Vitaly Telerman, Dmitry Ushakov |
| 1997 | On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups. Miki Hermann, Phokion G. Kolaitis |
| 1997 | Operational Semantics and Confluence of Constraint Propagation Rules. Slim Abdennadher |
| 1997 | Ordering Constraints over Feature Trees. Martin Müller, Joachim Niehren, Andreas Podelski |
| 1997 | Oscillation, Heuristic Ordering and Pruning in Neighborhood Search. Jean-Marc Labat, Laurent Mynard |
| 1997 | Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings Gert Smolka |
| 1997 | Programming Constraint Inference Engines. Christian Schulte |
| 1997 | Random Constraint Satisfaction: A More Accurate Picture. Dimitris Achlioptas, Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc, Michael S. O. Molloy, Yannis C. Stamatiou |
| 1997 | Reconfigurable Architectures: A New Vision for Optimization Problems. Youssef Hamadi, David Merceron |
| 1997 | Satisfiability of Quantitative Temporal Constraints with Multiple Granularities. Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia |
| 1997 | Semantics and Expressive Power of a Timed Concurrent Constraint Language. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 1997 | Set Constraints: A Pearl in Research on Constraints. Leszek Pacholski, Andreas Podelski |
| 1997 | Solving Classes of Set Constraints with Tree Automata. Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
| 1997 | Solving Various Weighted Matching Problems with Constraints. Yves Caseau, François Laburthe |
| 1997 | Statistical Analysis of Backtracking on Inconsistent CSPs. Irina Rish, Daniel Frost |
| 1997 | Tabu Search for Maximal Constraint Satisfaction Problems. Philippe Galinier, Jin-Kao Hao |
| 1997 | The Constrainedness of Arc Consistency. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1997 | The Logic of Search Algorithms: Theory and Applications. Ian P. Gent, Judith L. Underwood |
| 1997 | Tractable Disjunctive Constraints. David A. Cohen, Peter Jeavons, Manolis Koubarakis |
| 1997 | Tractable Recursion over Geometric Data. Stéphane Grumbach, Gabriel M. Kuper |
| 1997 | Understanding and Improving the MAC Algorithm. Daniel Sabin, Eugene C. Freuder |
| 1997 | Using Constraint Propagation for Complex Scheduling Problems: Managing Size, Complex Resources and Travel. Yves Caseau |
| 1997 | Verification of Parallel Systems using Constraint Programming. Stephan Melzer |
| 1997 | Why Adding More Constraints Makes a Problem Easier for Hill-climbing Algorithms: Analyzing Landscapes of CSPs. Makoto Yokoo |