Boolean verification with fastest LIA transforms.

Bogdan J. Falkowski, Susanto Rahardja

Browse the full ISCAS paper archive.