Efficient translation of boolean formulas to CNF in formal verification of microprocessors.

Miroslav N. Velev

Browse the full ASPDAC paper archive.