Simplification of non-deterministic multi-valued networks.

Alan Mishchenko, Robert K. Brayton

Browse the full ICCAD paper archive.