1. CP 1995: Cassis, France
Ugo Montanari, Francesca Rossi (Eds.): Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings. Springer 1995 Lecture Notes in Computer Science ISBN 3-540-60299-2
Efficient Constraint Handling
- Farid Ajili, Evelyne Contejean: Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables. 1-17
- Eric Domenjoud, Ana Paula Tomás: From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. 18-35
- Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams: The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. 36-52
Constraint Satisfaction Problems 1
- Manolis Koubarakis: From Local to Global Consistency in Temporal Constraint Networks. 53-69
- Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh: Scaling Effects in the CSP Phase Transition. 70-87
- Makoto Yokoo: Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems. 88-102
- Javier Larrosa, Pedro Meseguer: Optimization-based Heuristics for Maximal Constraint Satisfaction. 103-120
Databases
- Dina Q. Goldin, Paris C. Kanellakis: On Similarity Queries for Time-Series Data: Constraint Specification and Implementation. 137-153
- Peter Z. Revesz: Safe Stratified Datalog with Integer Order Programs. 154-169
Constraint Logic Programming
- Michael J. Maher: Constrained Dependencies. 170-185
- Pierre Girodias, Eduard Cerny, William J. Older: Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. 186-203
- Micha Meier: Debugging Constraint Programs. 204-221
- Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap: An Optimizing Compiler for CLP(R). 222-239
Constraint Satisfaction Problems 2
- Peter Jeavons, David A. Cohen, Marc Gyssens: A Unifying Framework for Tractable Constraints. 276-291
Concurrent Constraint Programming
- Kim Marriott, Martin Odersky: A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. 310-327
- Enea Zaffanella: Domain Independent Ask Approximation in CCP. 362-379
Computational Logic
- Franz Baader, Klaus U. Schulz: On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. 380-397
- Andreas Werner: Normalizing Narrowing for Weakly Terminating and Confluent Systems. 415-430
- Livio Colussi, Elena Marchiori, Massimo Marchiori: On Termination of Constraint Logic Programs. 431-448
Applications
- Daniel Sabin, Mihaela Sabin, Robert D. Russell, Eugene C. Freuder: A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks. 463-480
- Nabil Guerinik, Michel Van Caneghem: Solving Crew Scheduling Problems bu Constraint Programming. 481-498
- Massimo Paltrinieri: A Visual Constraint-Programming Environment. 499-514
Operation Research
- Antoine Rauzy: Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? 515-532
- Steven David Prestwich, Shyam Mudambi: Improved Branch and Bound in Constraint Logic Programming. 533-548
- Hans-Joachim Goltz: Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling. 549-562
Invited Lectures and Tutorials
- Bruno Buchberger: What Is Symbolic Computation? 563
- Pascal Van Hentenryck: Constraint Solving for Combinatorial Search Problems: A Tutorial. 564-587
- Vijay A. Saraswat: The Concurrent Constraint Programming Research Programmes. 588
- Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Assertions. 589-623
Industrial Presentations
- Alan Borning, Bjørn N. Freeman-Benson: The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces. 624-628
- Markus P. J. Fromherz, Vijay A. Saraswat: Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. 629-635
- Touraïvane: Constraint Programming and Industrial Applications. 640-642
- Helmut Simonis: The CHIP System and Its Applications. 643-646
- Jean-Francois Puget: Applications of Constraint Programming. 647-650
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team