@inproceedings{DBLP:conf/fmcad/0002S16,
author = {Rohit Singh and
Armando Solar{-}Lezama},
title = {{SWAPPER:} {A} framework for automatic generation of formula simplifiers
based on conditional rewrite rules},
booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
pages = {185--192},
year = {2016},
crossref = {DBLP:conf/fmcad/2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886678},
doi = {10.1109/FMCAD.2016.7886678},
timestamp = {Wed, 17 May 2017 10:54:03 +0200},
biburl = {https://dblp.org/rec/bib/conf/fmcad/0002S16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2016,
editor = {Ruzica Piskac and
Muralidhar Talupur},
title = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
publisher = {{IEEE}},
year = {2016},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7879555},
isbn = {978-0-9835678-6-8},
timestamp = {Fri, 31 Mar 2017 11:38:24 +0200},
biburl = {https://dblp.org/rec/bib/conf/fmcad/2016},
bibsource = {dblp computer science bibliography, https://dblp.org}
}