Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules

Rohit Singh, Armando Solar-Lezama

This paper addresses the problem of creating simplifiers for logic formulas based on conditional term rewriting. In particular, the paper focuses on a program synthesis application…