Disjoint-support Boolean decomposition combining functional and structural methods.

Andrs Martinelli, Ren Krenz, Elena Dubrova

Browse the full ASPDAC paper archive.