1. TimeC: A Time Constraint Language for ILP Processor Compilation

   • Allen Leung
   • Krishna V. Palem
   • Amir Pnueli

   OriginalPaper Pages: 75 - 115

2. Shape Reconstruction Incorporating Multiple Nonlinear Geometric Constraints

   • Naoufel Werghi
   • Robert Fisher
   • Craig Robertson

   OriginalPaper Pages: 117 - 149

3. A New Approach for Weighted Constraint Satisfaction

   • Hoong Chuin Lau

   OriginalPaper Pages: 151 - 165

4. A Constraint-Based Interactive Train Rescheduling Tool

   • C. K. Chiu
   • C. M. Chou
   • Y. W. Leung

   OriginalPaper Pages: 167 - 198

5. Fourier Elimination for Compiling Constraint Hierarchies

   • Warwick Harvey
   • Peter J. Stuckey
   • Alan Borning

   OriginalPaper Pages: 199 - 219