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.
Lecture Notes in Computer Science 976 Springer 1995, ISBN 3-540-60299-2
@proceedings{DBLP:conf/cp/1995,
editor = {Ugo Montanari and
Francesca Rossi},
title = {Principles and Practice of Constraint Programming - CP'95, First
International Conference, CP'95, Cassis, France, September 19-22,
1995, Proceedings},
booktitle = {CP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {976},
year = {1995},
isbn = {3-540-60299-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Efficient Constraint Handling
Constraint Satisfaction Problems 1
Databases
Constraint Logic Programming
Constraint Satisfaction Problems 2
Concurrent Constraint Programming
Computational Logic
Applications
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
Industrial Presentations
Copyright © Fri Mar 12 17:08:31 2010
by Michael Ley (ley@uni-trier.de)