State assignment for multilevel logic using dynamic literal estimation.

Michael Bolotski, Daniel Camporese, Rod Barman

Browse the full ICCAD paper archive.