Amanote Research
Register
Sign In
Prime Implicant Computation Using Satisfiability Algorithms
doi 10.1109/tai.1997.632261
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
V.M. Manquinho
P.F. Flores
J.P.M. Silva
A.L. Oliveira
Publisher
IEEE Comput. Soc