Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits.

Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer

Browse the full DAC paper archive.