404 File not Found
Could not find the file: /16241/1.haslightboxThumbnailVersion/Abstracting_Numeric_Constraints_with_Boolean_Functions.pdf
The file you are trying to access may be related to this item:
Howe, Jacob M., King, Andy (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190. (doi:10.1016/S0020-0190(00)00081-8) (KAR id:16241)
If you reached this page by following a link within the repository, please contact the ["archive_name" not defined] administration. Otherwise, please check that you have typed the URL in correctly, or contact the person or site that supplied you with this URL.