Tsutomu Sasao, Shinobu Nagayama. Representations of Elementary Functions Using Binary Moment Diagrams. In 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 17-20 May 2006, Singapore. pages 28, IEEE Computer Society, 2006. [doi]
Abstract is missing.