Through techniques like polynomial reduction, Zero-suppressed Binary Decision Diagrams ... the creation of advanced tools that model multiplier circuits as polynomial systems, thereby automating ...