Constrained interpolation for guided logic synthesis.

Ana Petkovska, David Novo, Alan Mishchenko, Paolo Ienne

Browse the full ICCAD paper archive.