PolyCleaner: clean your polynomials before backward rewriting to verify million-gate multipliers.

Alireza Mahzoon Daniel Große Rolf Drechsler

Published in: ICCAD (2018)

Keyphrases

bi directional
real world
forward and backward
rewrite rules
forward backward
neural network
pose estimation
integrity constraints
conjunctive queries
query rewriting
rewriting rules
algebraic geometry
rewriting systems
hermite transform