TimeC: A Time Constraint Language for ILP Processor Compilation Allen LeungKrishna V. PalemAmir Pnueli OriginalPaper Pages: 75 - 115
Shape Reconstruction Incorporating Multiple Nonlinear Geometric Constraints Naoufel WerghiRobert FisherCraig Robertson OriginalPaper Pages: 117 - 149
A Constraint-Based Interactive Train Rescheduling Tool C. K. ChiuC. M. ChouY. W. Leung OriginalPaper Pages: 167 - 198
Fourier Elimination for Compiling Constraint Hierarchies Warwick HarveyPeter J. StuckeyAlan Borning OriginalPaper Pages: 199 - 219