Representation and symbolic manipulation of linearly inductive Boolean functions.

Aarti Gupta, Allan L. Fisher

Browse the full ICCAD paper archive.