SAT and ATPG: Boolean engines for formal hardware verification.

Armin Biere, Wolfgang Kunz

Browse the full ICCAD paper archive.