Boolean factorization using multiple-valued minimization.

Stan Y. Liao, Srinivas Devadas, Abhijit Ghosh

Browse the full ICCAD paper archive.