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