Martin Charles Golumbic, Renu C. Laskar
Discrete Applied Mathematics
Paper
An interpretation-oriented theorem prover over integers
Abstract
A special purpose theorem prover for establishing the validity of expressions over integer variables was developed as part of a program verifier. It is built around a powerful system for manipulating and simplifying integer expressions. © 1972 Academic Press, Inc.
Related
Leo Liberti, James Ostrowski
Journal of Global Optimization
Conference paper
Characterization of line width variation
Alfred K. Wong, Antoinette F. Molless, et al.
SPIE Advanced Lithography 2000
Moutaz Fakhry, Yuri Granik, et al.
SPIE Photomask Technology + EUV Lithography 2011