Hiroaki Yoshida, Masahiro Fujita. Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability. IPSJ T. on System LSI Design Methodology, 4:70-79, 2011. [doi]
@article{YoshidaF11-1, title = {Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability}, author = {Hiroaki Yoshida and Masahiro Fujita}, year = {2011}, doi = {10.2197/ipsjtsldm.4.70}, url = {http://dx.doi.org/10.2197/ipsjtsldm.4.70}, researchr = {https://researchr.org/publication/YoshidaF11-1}, cites = {0}, citedby = {0}, journal = {IPSJ T. on System LSI Design Methodology}, volume = {4}, pages = {70-79}, }