75 | -- | 115 | Allen Leung, Krishna V. Palem, Amir Pnueli. TimeC: A Time Constraint Language for ILP Processor Compilation |
117 | -- | 149 | Naoufel Werghi, Robert B. Fisher, Anthony Ashbrook, Craig Robertson. Shape Reconstruction Incorporating Multiple Nonlinear Geometric Constraints |
151 | -- | 165 | Hoong Chuin Lau. A New Approach for Weighted Constraint Satisfaction |
167 | -- | 198 | C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-Fung Leung, Y. W. Leung. A Constraint-Based Interactive Train Rescheduling Tool |
199 | -- | 219 | Warwick Harvey, Peter J. Stuckey, Alan Borning. Fourier Elimination for Compiling Constraint Hierarchies |