SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules.

Rohit Singh, Armando Solar-Lezama

Browse the full FMCAD paper archive.