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 BibTeX
- Naoufel Werghi, Robert B. Fisher, Anthony Ashbrook, Craig Robertson:
Shape Reconstruction Incorporating Multiple Nonlinear Geometric Constraints.
117-149 BibTeX
- Hoong Chuin Lau:
A New Approach for Weighted Constraint Satisfaction.
151-165 BibTeX
- 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 BibTeX
- Warwick Harvey, Peter J. Stuckey, Alan Borning:
Fourier Elimination for Compiling Constraint Hierarchies.
199-219 BibTeX
Volume 7,
Number 3-4,
July-October 2002
- Joxan Jaffar, Michael J. Maher:
Guest Editorial.
227-228 BibTeX
- Kim Marriott, Sitt Sen Chok:
QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications.
229-254 BibTeX
- François Laburthe, Yves Caseau:
SALSA: A Language for Search Algorithms.
255-288 BibTeX
- Yves Deville, Micha Janssen, Pascal Van Hentenryck:
Consistency Techniques in Ordinary Differential Equations.
289-315 BibTeX
- Ludwig Krippahl, Pedro Barahona:
PSICO: Solving Protein Structures with Constraint Programming and Optimization.
317-331 BibTeX
- Rolf Backofen, Sebastian Will:
Excluding Symmetries in Constraint-Based Search.
333-349 BibTeX
- Filippo Focacci, Andrea Lodi, Michela Milano:
Optimization-Oriented Global Constraints.
351-365 BibTeX
- Youssef Hamadi:
Optimal Distributed Arc-Consistency.
367-385 BibTeX
- Jean-Charles Régin:
Cost-Based Arc Consistency for Global Cardinality Constraints.
387-405 BibTeX
- Javier Larrosa, Pedro Meseguer:
Partition-Based Lower Bound for Max-CSP.
407-419 BibTeX
Copyright © Wed Jun 4 19:05:38 2008
by Michael Ley (ley@uni-trier.de)
