Boolean verification with fastest LIA transforms

Bogdan J. Falkowski, Susanto Rahardja. Boolean verification with fastest LIA transforms. In ISCAS (4). pages 321-324, 2002. [doi]

Abstract

Abstract is missing.