1. Sharangpani, H. and Barton, M.L. (1994) Statistical Analysis of Floating Point Flaw in the Pentium Processor. Intel Corporation.
2. Graph-Based Algorithms for Boolean Function Manipulation
3. Verification of arithmetic circuits using binary moment diagrams
4. Verification of Arithmetic Circuits with Binary Moment Diagrams
5. Biere, A. (2016) Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016. SAT Competition 2016, 65-66.