TY  - RPRT
TI  - Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof
AU  - Georg Hofferek
AU  - Ashutosh Gupta
AU  - Bettina Könighofer
AU  - Jie-Hong Roland Jiang
AU  - Roderick Bloem
PY  - 2013
UR  - https://arxiv.org/abs/1308.4767
ID  - 1308.4767
ER  -