@article{weko_72880_1,
   author	 = "Hiroaki,Yoshida and Masahiro,Fujita",
   title	 = "Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability",
   journal	 = "IPSJ Transactions on System LSI Design Methodology（TSLDM）",
   year 	 = "2011",
   volume	 = "4",
   number	 = "",
   pages	 = "70--79",
   month	 = "feb"
}