You have Guest access.
Log In
Volume 1 / 1996 - Volume 17 / 2012
75-115
TimeC: A Time Constraint Language for ILP Processor Compilation
Allen Leung, Krishna V. Palem and Amir Pnueli
117-149
Shape Reconstruction Incorporating Multiple Nonlinear Geometric Constraints
Naoufel Werghi, Robert Fisher, Anthony Ashbrook and Craig Robertson
151-165
A New Approach for Weighted Constraint Satisfaction
Hoong Chuin Lau
167-198
A Constraint-Based Interactive Train Rescheduling Tool
C. K. Chiu, C. M. Chou, J. H. M. Lee, H. F. Leung and Y. W. Leung
199-219
Fourier Elimination for Compiling Constraint Hierarchies
Warwick Harvey, Peter J. Stuckey and Alan Borning
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info