| 1996 | A Constraint Program for Solving the Job-Shop Problem. Jianyang Zhou |
| 1996 | A Constraint-Based Interactive Train Rescheduling Tool. C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung |
| 1996 | A Labelling Arc Consistency Method for Functional Constraints. Mohamed-Salah Affane, Hachemi Bennaceur |
| 1996 | A Local Simplification Scheme for cc Programs. Vincent Schächter |
| 1996 | A Meta Constraint Logic Programming Architecture (Extended Abstract). Evelina Lamma, Paola Mello, Michela Milano |
| 1996 | A New Approach for Weighted Constraint Satisfaction: Theoretical and Computational Results. Hoong Chuin Lau |
| 1996 | A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems. Jason H. Y. Wong, Kai-Fai Ng, Ho-fung Leung |
| 1996 | A View of Local Search in Constraint Programming. Gilles Pesant, Michel Gendreau |
| 1996 | A test for Tractability. Peter Jeavons, David A. Cohen, Marc Gyssens |
| 1996 | An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh |
| 1996 | An Eperimental Comparison of Three Modified DeltaBlue Algorithms. Tetsuya Suzuki, Nobuo Kakinuma, Takehiro Tokuda |
| 1996 | An Instance of Adaptive Constraint Propagation. Hani El Sakkout, Mark Wallace, Barry Richards |
| 1996 | Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems. Richard J. Wallace |
| 1996 | Analysis of Hybrid Systems in CLP(R). Luis Urbina |
| 1996 | Anytime Temporal Reasoning: Preliminary Report (Extended Abstract). Mukesh Dalal, Yong Feng |
| 1996 | Appriximate Algorithms for Maximum Utility Problems. Frederik Jan Jüngen, Wojtek Kowalczyk |
| 1996 | Branch-and-Price for Solving Integer Programs with a Huge Number of Variables: Methods and Applications (Abstract). George L. Nemhauser |
| 1996 | Combination of Constraint Systems II: Rational Amalgamation. Stephan Kepser, Klaus U. Schulz |
| 1996 | Complexity-Theoretic Aspects for Programming Language Design. Harry G. Mairson |
| 1996 | Constraint Databases. Dina Q. Goldin |
| 1996 | Constraint Logic Programming over Unions of Constraint Theories. Cesare Tinelli, Mehdi T. Harandi |
| 1996 | Constraint Programming: an Efficient and Practical Approach to Solving the Job-Shop Problem. Yves Colombani |
| 1996 | Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks. Dhritiman Banerjee, Jeremy Frank |
| 1996 | Defeasibility in CLP(Q) through Generalized Slack Variables. Christian Holzbaur, Francisco Menezes, Pedro Barahona |
| 1996 | Derivation of Constraints and Database Relations. David A. Cohen, Marc Gyssens, Peter Jeavons |
| 1996 | Efficient Constraint Propagation With Good Space Complexity. Assef Chmeiss, Philippe Jégou |
| 1996 | Empirical Studies of Heuristic Local Search for Constraint Solving. Jin-Kao Hao, Raphaël Dorne |
| 1996 | Existential Variables and Local Consistency in Finite Domain Constraint Problems. Francesca Rossi |
| 1996 | Experiences with Combining Constraint Programming and Discrete Event Simulation. Wim Hellinck |
| 1996 | Exploiting the Use of DAC in MAX-CSP. Javier Larrosa, Pedro Meseguer |
| 1996 | From Constraint Minimization to Goal Optimization in CLP Languages. François Fages |
| 1996 | From Evaluating Upper Bounds of the Complexity of Solving CSPs to Finding All the Solutions of CSPs. Gadi Solotorevsky |
| 1996 | From Quasi-Solutions to Solution: An Evolutionary Algorithm to Solve CSP. María Cristina Riff Rojas |
| 1996 | Functional Constrain Hierarchies in CLP. Mouhssine Bouzoubaa |
| 1996 | Generalized Local Propagation: A Framework for Solving Constraint Hierarchies. Hiroshi Hosobe, Satoshi Matsuoka, Akinori Yonezawa |
| 1996 | Global Behaviour for Complex Constraints. Stéphane N'Dong, Michel Van Caneghem |
| 1996 | Hill-Climbing with Local Consistency for Solving Distributed CSPs. Katsutoshi Hirayama |
| 1996 | Inference Duality as a Basis for Secitivity Analysis. John N. Hooker |
| 1996 | Local Search and the Number of Solutions. David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh |
| 1996 | Logical Semantics of Concurrent Constraint Programming. Paul Ruet |
| 1996 | Looking at Full Looking Ahead. Daniel Frost, Rina Dechter |
| 1996 | MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems. Christian Bessière, Jean-Charles Régin |
| 1996 | Modeling and Solving Distributed Constraint Satisfaction Problems (DCSPs). Gadi Solotorevsky, Ehud Gudes, Amnon Meisels |
| 1996 | N-Ary Consistencies and Constraint-Based Backtracking. Pierre-Paul Mérel, Zineb Habbas, Francine Herrmann, Daniel Singer |
| 1996 | On Confluence of Constraint Handling Rules. Slim Abdennadher, Thom W. Frühwirth, Holger Meuss |
| 1996 | On Query Languages for Linear Queries Definable with Polynomial Constraints. Luc Vandeurzen, Marc Gyssens, Dirk Van Gucht |
| 1996 | PSAP - A Planning System for Aircraft Production (Extended Abstract). Patrick Albers, Jacques Bellone |
| 1996 | Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996 Eugene C. Freuder |
| 1996 | Scheduling an Asynchronously Shared Resource. Douglas R. Smith, Stephen J. Westfold |
| 1996 | Solving Non-binary Convez CSPs in Continous Domains. Djamila Sam-Haroud, Boi Faltings |
| 1996 | Solving Satisfiability Problems Using Field Programmable Gate Arrays: First Results. Makoto Yokoo, Takayuki Suyama, Hiroshi Sawada |
| 1996 | Speeding Up Constraint Propagation By Redundant Modeling. B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu |
| 1996 | The Arc and Path Consistency Phase Transitions. Stuart A. Grant, Barbara M. Smith |
| 1996 | The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R). Luis Urbina |
| 1996 | The Independence Property of a Class of Set Constraints. Witold Charatonik, Andreas Podelski |
| 1996 | To Guess or to Think? Hybrid Algorithms for SAT (Extended Abstract). Irina Rish, Rina Dechter |
| 1996 | Towards a More Efficient Stochastic Constraint Solver. Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won |
| 1996 | Towards an Open Finite Domain Constraint Solver. Mats Carlsson, Björn Carlson, Greger Ottosson |
| 1996 | Tractable Disjunctions of Linear Constraints. Manolis Koubarakis |
| 1996 | Transformations Between HCLP and PCSP. Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt |
| 1996 | Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances. Roberto J. Bayardo Jr., Robert Schrag |
| 1996 | Using Partial Arc Consistency in a Database Environment. Steven A. Battle |