Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof

Journal

International Conference on Formal Methods in Computer-Aided Design (FMCAD)

Pages

77-84

Date Issued

2013-10

Author(s)

Georg Hofferek

Ashutosh Gupta

Bettina Konighofer

Jie-Hong Rol

Jiang, Roderick Bloem

URI

Type

conference paper