Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules.

Rohit Singh Armando Solar-Lezama

Published in: CoRR (2016)

Keyphrases

nearest neighbor
rewrite rules
rewriting rules
transformation rules
consistency constraints
query optimization
sql queries
case study