| 1996 | Anytime Temporal Reasoning: Preliminary Report (Extended Abstract). | Mukesh Dalal, Yong Feng |
| 1996 | Constraint Programming: an Efficient and Practical Approach to Solving the Job-Shop Problem. | Yves Colombani |
| 1996 | Derivation of Constraints and Database Relations. | David A. Cohen, Marc Gyssens, Peter Jeavons |
| 1996 | Local Search and the Number of Solutions. | David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh |
| 1996 | Efficient Constraint Propagation With Good Space Complexity. | Assef Chmeiss, Philippe Jgou |
| 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 | Speeding Up Constraint Propagation By Redundant Modeling. | B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu |
| 1996 | The Independence Property of a Class of Set Constraints. | Witold Charatonik, Andreas Podelski |
| 1996 | Towards an Open Finite Domain Constraint Solver. | Mats Carlsson, Bjrn Carlson, Greger Ottosson |
| 1996 | Functional Constrain Hierarchies in CLP. | Mouhssine Bouzoubaa |
| 1996 | MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems. | Christian Bessire, Jean-Charles Rgin |
| 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 |
| 1996 | Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks. | Dhritiman Banerjee, Jeremy Frank |
| 1996 | PSAP - A Planning System for Aircraft Production (Extended Abstract). | Patrick Albers, Jacques Bellone |
| 1996 | A Labelling Arc Consistency Method for Functional Constraints. | Mohamed-Salah Affane, Hachemi Bennaceur |
| 1996 | On Confluence of Constraint Handling Rules. | Slim Abdennadher, Thom W. Frhwirth, Holger Meuss |
| 1995 | Constraint Propagation in Model Generation. | Jian Zhang, Hantao Zhang |
| 1995 | Domain Independent Ask Approximation in CCP. | Enea Zaffanella |
| 1995 | Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems. | Makoto Yokoo |
| 1995 | Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems. | Armin Wolf |
| 1995 | Normalizing Narrowing for Weakly Terminating and Confluent Systems. | Andreas Werner |
| 1995 | Experiences in Solving Constraint Relaxation Networks with Boltzmann Machines. | Rolf Weischnur, Joachim Hertzberg, Hans W. Guesgen |
| 1995 | Heuristic Methods for Over-Constrained Constraint Satisfaction Problems. | Richard J. Wallace, Eugene C. Freuder |
| 1995 | Directed Arc Consistency Preprocessing. | Richard J. Wallace |