TY  - RPRT
TI  - Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules
AU  - Rohit Singh
AU  - Armando Solar-Lezama
PY  - 2016
UR  - https://arxiv.org/abs/1602.07285
ID  - 1602.07285
ER  -