Shinobu Nagayama Tsutomu Sasao Representations of Elementary Functions Using Edge-Valued MDDs. 5 2007 ISMVL http://dx.doi.org/10.1109/ISMVL.2007.49 conf/ismvl/2007 db/conf/ismvl/ismvl2007.html#NagayamaS07