Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Mathematical programming is Turing complete, and can be used as a general-purpose declarative language. We present a new constructive proof of this fact, and showcase its usefulness by discussing an application to finding the hardest input of any given program running on a Minsky Register Machine. We also discuss an application of mathematical programming to software verification obtained by relaxing one of the properties of Turing complete languages. © 2014 Springer Science+Business Media New York.
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
Jaione Tirapu Azpiroz, Alan E. Rosenbluth, et al.
SPIE Photomask Technology + EUV Lithography 2009
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.