Towards efficient parallelization of equivalence checking algorithms.

Shipei Zhang, Scott A. Smolka

Browse the full FORTE paper archive.