| 1995 | Cascaded Directed Arc Consistency and No-Good Learning for the Maximal Constraint Satisfaction Problem. | Richard J. Wallace |
| 1995 | Combining Hill Climbing and Forward Checking for Handling Disjunctive Constraints. | Dan R. Vlasie |
| 1995 | Constraint Programming and Industrial Applications. | Touravane |
| 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 | In Search of Exceptionally Difficult Constraint Satisfaction Problems. | Barbara M. Smith |
| 1995 | Modelling Producer/Consumer Constraints. | Helmut Simonis, Trijntje Cornelissens |
| 1995 | The CHIP System and Its Applications. | Helmut Simonis |
| 1995 | Specifying Over-Constrained Problems in Default Logic. | Abdul Sattar, Aditya Ghose, Randy Goebel |
| 1995 | The Concurrent Constraint Programming Research Programmes. | Vijay A. Saraswat |
| 1995 | A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks. | Daniel Sabin, Mihaela Sabin, Robert D. Russell, Eugene C. Freuder |
| 1995 | Redundant Hidden Variables in Finite Domain Constraint Problems. | Francesca Rossi |
| 1995 | Safe Stratified Datalog with Integer Order Programs. | Peter Z. Revesz |
| 1995 | Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? | Antoine Rauzy |
| 1995 | Applications of Constraint Programming. | Jean-Francois Puget |
| 1995 | Forward Checking with Backmarking. | Patrick Prosser |
| 1995 | Improved Branch and Bound in Constraint Logic Programming. | Steven D. Prestwich, Shyam Mudambi |
| 1995 | Situated Simplification. | Andreas Podelski, Gert Smolka |
| 1995 | A Detailed Algorithm Testing Guards over Feature Trees. | Andreas Podelski, Peter Van Roy |
| 1995 | A Visual Constraint-Programming Environment. | Massimo Paltrinieri |
| 1995 | Defeasible Constraint Solving. | Francisco Menezes, Pedro Barahona |
| 1995 | CLP in ECRC. | Micha Meier, Alexander Herold |
| 1995 | Debugging Constraint Programs. | Micha Meier |
| 1995 | A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. | Kim Marriott, Martin Odersky |
| 1995 | Constrained Dependencies. | Michael J. Maher |
| 1995 | Partial Arc Consistency. | Nick Lendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitrios M. Thilikos |