Synthesizing multiple boolean functions using interpolation on a single proof.

Georg Hofferek, Ashutosh Gupta, Bettina Knighofer, Jie-Hong Roland Jiang, Roderick Bloem

Browse the full FMCAD paper archive.