| 1995 | Optimization-based Heuristics for Maximal Constraint Satisfaction. | Javier Larrosa, Pedro Meseguer |
| 1995 | From Local to Global Consistency in Temporal Constraint Networks. | Manolis Koubarakis |
| 1995 | An Optimizing Compiler for CLP(R). | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Sndergaard, Peter J. Stuckey, Roland H. C. Yap |
| 1995 | Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems. | Narendra Jussien, Patrice Boizumault |
| 1995 | A Unifying Framework for Tractable Constraints. | Peter Jeavons, David A. Cohen, Marc Gyssens |
| 1995 | A Composistional Theory of Constraint Hierarchies. | Michael Jampel |
| 1995 | A Brief Overview of Over-Constrained Systems. | Michael Jampel |
| 1995 | Constraint Solving for Combinatorial Search Problems: A Tutorial. | Pascal Van Hentenryck |
| 1995 | Solving Crew Scheduling Problems bu Constraint Programming. | Nabil Guerinik, Michel Van Caneghem |
| 1995 | First-order Definability over Constraint Databases. | Stphane Grumbach, Jianwen Su |
| 1995 | Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling. | Hans-Joachim Goltz |
| 1995 | On Similarity Queries for Time-Series Data: Constraint Specification and Implementation. | Dina Q. Goldin, Paris C. Kanellakis |
| 1995 | Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. | Pierre Girodias, Eduard Cerny, William J. Older |
| 1995 | Scaling Effects in the CSP Phase Transition. | Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh |
| 1995 | Integrating Constraints in an Object-Based Knowledge Representation System. | Jrme Gensel |
| 1995 | Dynamic Constraint Satisfaction with Conflict Management in Design. | Esther M. Gelle, Ian F. C. Smith |
| 1995 | Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. | Markus P. J. Fromherz, Vijay A. Saraswat |
| 1995 | Partial Constraint Satisfaction. | Eugene C. Freuder, Richard J. Wallace |
| 1995 | Using Metalevel Constraint Knowledge to Reduce Constraint Checking. | Eugene C. Freuder |
| 1995 | The Many Paths to Satisfaction. | Eugene C. Freuder |
| 1995 | Semmantic Properties of CHIP (FD). | Gilberto Fil, Giuseppe Nardiello, Adriano Tirabosco |
| 1995 | High-Level Constraints over Finite Domains. | M. Anton Ertl, Andreas Krall |
| 1995 | GA-easy and GA-hard Constraint Satisfaction Problems. | A. E. Eiben, Paul-Erik Rau, Zsfia Ruttkay |
| 1995 | From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. | Eric Domenjoud, Ana Paula Toms |
| 1995 | Local and Global Relational Consistency. | Rina Dechter, Peter van Beek |