Efficient Generation of Small Interpolants in CNF.

Yakir Vizel, Vadim Ryvchin, Alexander Nadel

Browse the full CAV paper archive.