Journal: Constraints

Volume 7, Issue 2

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