Volume 173,
Number 1,
20 February 1997
Principles and Practice of Constraint Programming,
Selected Papers from CP 1995
- Laurent Michel, Pascal Van Hentenryck:
Helios: A Modeling Language for Global Optimization and its Implementation in Newton.
3-48
Electronic Edition (link) BibTeX
- Nikolaj Bjørner, Anca Browne, Zohar Manna:
Automatic Generation of Invariants and Intermediate Assertions.
49-87
Electronic Edition (link) BibTeX
- Manolis Koubarakis:
From Local to Global Consistency in Temporal Constraint Networks.
89-112
Electronic Edition (link) BibTeX
- Michael J. Maher:
Constrained Dependencies.
113-149
Electronic Edition (link) BibTeX
- Stéphane Grumbach, Jianwen Su:
Queries with Arithmetical Constraints.
151-181
Electronic Edition (link) BibTeX
- Farid Ajili, Evelyne Contejean:
Avoiding Slack Variables in the Solving of Linear Diophantine Equations and Inequations.
183-208
Electronic Edition (link) BibTeX
- Kim Marriott, Martin Odersky:
A Confluent Calculus for Concurrent Constraint Programming.
209-233
Electronic Edition (link) BibTeX
- Andreas Podelski, Gert Smolka:
Situated Simplification.
235-252
Electronic Edition (link) BibTeX
- Pierre Girodias, Eduard Cerny, William J. Older:
Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic.
253-281
Electronic Edition (link) BibTeX
- Rina Dechter, Peter van Beek:
Local and Global Relational Consistency.
283-308
Electronic Edition (link) BibTeX
Volume 173,
Number 2,
28 February 1997
Algebraic Development Techniques
Copyright © Tue Nov 18 20:47:36 2008
by Michael Ley (ley@uni-trier.de)
