Synthesizing multiple boolean functions using interpolation on a single proof (bibtex)
by Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
Reference:
Synthesizing multiple boolean functions using interpolation on a single proofGeorg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick BloemFMCAD, pages 77-84, 2013.
Bibtex Entry:
@inproceedings{HofferekGKJB13,
title = {Synthesizing multiple boolean functions using interpolation on a
single proof},
ee = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679394},
booktitle = {FMCAD},
author = {Georg Hofferek and Ashutosh Gupta and Bettina K{\"o}nighofer and
Jie-Hong Roland Jiang and Roderick Bloem},
url = {http://arxiv.org/pdf/1308.4767},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {77-84},
crossref = {DBLP:conf/fmcad/2013},
}
Powered by bibtexbrowser