量化逻辑--Yoshida, Hiroaki - Exact Minimum Factoring of Incompletely Specified ...

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

IPSJ Transactions on System LSI Design Methodology     Vol. 4  70–79 (Feb. 2011)
Regular Paper
  Exact Minimum Factoring of Incompletely Specified
  Logic Functions via Quantified Boolean Satisfiability
         Hiroaki Yoshida1 and Masahiro Fujita1
      This paper presents an exact method which finds the minimum factored form
     of an incompletely specified Boolean function. The problem is formulated as
     a Quantified Boolean Formula (QBF) and is solved by general-purpose QBF
     solve ...

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：incomplete COMPLETELY factoring specified Complete