Volume 7,
Number 1,
January 2002
Constraint Agents
Volume 7,
Number 2,
April 2002
- Allen Leung, Krishna V. Palem, Amir Pnueli:
TimeC: A Time Constraint Language for ILP Processor Compilation.
75-115
- Naoufel Werghi, Robert B. Fisher, Anthony Ashbrook, Craig Robertson:
Shape Reconstruction Incorporating Multiple Nonlinear Geometric Constraints.
117-149
- Hoong Chuin Lau:
A New Approach for Weighted Constraint Satisfaction.
151-165
- C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung:
A Constraint-Based Interactive Train Rescheduling Tool.
167-198
- Warwick Harvey, Peter J. Stuckey, Alan Borning:
Fourier Elimination for Compiling Constraint Hierarchies.
199-219
Volume 7,
Number 3-4,
July-October 2002
- Joxan Jaffar, Michael J. Maher:
Guest Editorial.
227-228
- Kim Marriott, Sitt Sen Chok:
QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications.
229-254
- François Laburthe, Yves Caseau:
SALSA: A Language for Search Algorithms.
255-288
- Yves Deville, Micha Janssen, Pascal Van Hentenryck:
Consistency Techniques in Ordinary Differential Equations.
289-315
- Ludwig Krippahl, Pedro Barahona:
PSICO: Solving Protein Structures with Constraint Programming and Optimization.
317-331
- Rolf Backofen, Sebastian Will:
Excluding Symmetries in Constraint-Based Search.
333-349
- Filippo Focacci, Andrea Lodi, Michela Milano:
Optimization-Oriented Global Constraints.
351-365
- Youssef Hamadi:
Optimal Distributed Arc-Consistency.
367-385
- Jean-Charles Régin:
Cost-Based Arc Consistency for Global Cardinality Constraints.
387-405
- Javier Larrosa, Pedro Meseguer:
Partition-Based Lower Bound for Max-CSP.
407-419
Copyright © Sun Nov 15 05:31:13 2009
by Michael Ley (ley@uni-trier.de)
