| 1995 | A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. Kim Marriott, Martin Odersky |
| 1995 | A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks. Daniel Sabin, Mihaela Sabin, Robert D. Russell, Eugene C. Freuder |
| 1995 | A Unifying Framework for Tractable Constraints. Peter Jeavons, David A. Cohen, Marc Gyssens |
| 1995 | A Visual Constraint-Programming Environment. Massimo Paltrinieri |
| 1995 | An Optimizing Compiler for CLP(R). Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap |
| 1995 | Applications of Constraint Programming. Jean-Francois Puget |
| 1995 | Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems. Makoto Yokoo |
| 1995 | Automatic Generation of Invariants and Assertions. Nikolaj S. Bjørner, Anca Browne, Zohar Manna |
| 1995 | CLP in ECRC. Micha Meier, Alexander Herold |
| 1995 | Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables. Farid Ajili, Evelyne Contejean |
| 1995 | Constrained Dependencies. Michael J. Maher |
| 1995 | Constraint Programming and Industrial Applications. Touraïvane |
| 1995 | Constraint Propagation in Model Generation. Jian Zhang, Hantao Zhang |
| 1995 | Constraint Solving for Combinatorial Search Problems: A Tutorial. Pascal Van Hentenryck |
| 1995 | Debugging Constraint Programs. Micha Meier |
| 1995 | Domain Independent Ask Approximation in CCP. Enea Zaffanella |
| 1995 | Dynamic Variable Ordering in CSPs. Fahiem Bacchus, Paul van Run |
| 1995 | First-order Definability over Constraint Databases. Stéphane Grumbach, Jianwen Su |
| 1995 | From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. Eric Domenjoud, Ana Paula Tomás |
| 1995 | From Local to Global Consistency in Temporal Constraint Networks. Manolis Koubarakis |
| 1995 | Guarded Constructive Disjunction: Angel or Demon? Christian Codognet, Philippe Codognet |
| 1995 | Improved Branch and Bound in Constraint Logic Programming. Steven D. Prestwich, Shyam Mudambi |
| 1995 | Local and Global Relational Consistency. Rina Dechter, Peter van Beek |
| 1995 | Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. Markus P. J. Fromherz, Vijay A. Saraswat |
| 1995 | Modelling Producer/Consumer Constraints. Helmut Simonis, Trijntje Cornelissens |
| 1995 | Normalizing Narrowing for Weakly Terminating and Confluent Systems. Andreas Werner |
| 1995 | On Similarity Queries for Time-Series Data: Constraint Specification and Implementation. Dina Q. Goldin, Paris C. Kanellakis |
| 1995 | On Termination of Constraint Logic Programs. Livio Colussi, Elena Marchiori, Massimo Marchiori |
| 1995 | On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. Franz Baader, Klaus U. Schulz |
| 1995 | On the Forward Checking Algorithm. Fahiem Bacchus, Adam J. Grove |
| 1995 | Optimization-based Heuristics for Maximal Constraint Satisfaction. Javier Larrosa, Pedro Meseguer |
| 1995 | Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? Antoine Rauzy |
| 1995 | Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings Ugo Montanari, Francesca Rossi |
| 1995 | Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling. Hans-Joachim Goltz |
| 1995 | Safe Stratified Datalog with Integer Order Programs. Peter Z. Revesz |
| 1995 | Scaling Effects in the CSP Phase Transition. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1995 | Situated Simplification. Andreas Podelski, Gert Smolka |
| 1995 | Solving Crew Scheduling Problems bu Constraint Programming. Nabil Guerinik, Michel Van Caneghem |
| 1995 | Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. Pierre Girodias, Eduard Cerny, William J. Older |
| 1995 | The CHIP System and Its Applications. Helmut Simonis |
| 1995 | The Concurrent Constraint Programming Research Programmes. Vijay A. Saraswat |
| 1995 | The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces. Alan Borning, Bjørn N. Freeman-Benson |
| 1995 | The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams |
| 1995 | What Is Symbolic Computation? Bruno Buchberger |