_id,doi,title 1385,10.1109/FMCAD.2013.6679394,Synthesizing multiple boolean functions using interpolation on a single proof