Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability
- 期刊名称IPSJ Transactions on System LSI Design Methodology
- 作者Yoshida, Hiroaki; Fujita, Masahiro
- 卷第4卷
- 电子ISSN1882-6687
- 文件大小788.22KB
- 发表时间2011
- DOI10.2197/ipsjtsldm.4.70
- 页码70-79
河南省土木建筑学术文库 第5卷河南省建筑土木工程学会，《河南省土木建筑学术文库》编辑委员会编 · 西安：西安地图出版社 · 1999
桥梁技术研究与工程实践河南省公路学会，河南省土木建筑学会桥梁与结构工程专业委员会编 · 郑州：郑州大学出版社 · 2006
中原桥城 漯河河南省土木建筑学会桥梁建筑文化研究中心编；刘志杰主编 · 北京：中国建筑工业出版社 · 2016
土木建筑学术文库 第6卷河南省土木建筑学会编 · 上海：同济大学出版社 · 2006
土木建筑学术文库 第7卷河南省土木建筑学会编 · 上海：同济大学出版社 · 2007
土木建筑学术文库 第5卷河南省土木建筑学会编 · 上海：同济大学出版社 · 2006
土木建筑学术文库 第1卷 2004年河南省土木建筑学会编 · 上海：同济大学出版社 · 2004
校园英语口语徐兆菊，肖靖主编 · 郑州：河南科学技术出版社；河南省教育音像出版社 · 2002
中医内科临床治疗学冷方南主编 · 郑州：河南科学技术出版社；上海：上海科学技术出版社 · 1987
泌尿生殖外科学王以敬等主编 · 上海：上海科学技术出版社；郑州：河南科学技术出版社 · 1987
幸福人生，从“心”开始 大学生积极心理素质培养教程陈玉焕，陈莉主编 · 郑州：河南科学技术出版社；北京：中国科学技术出版社 · 2014
方太入厨锦囊方任利莎著 · 郑州：河南科学技术出版社；万里机构·饮食天地出版社 · 2001
广东湿地植物王瑞江主编 · 中原出版传媒集团；中原传媒股份公司；郑州：河南科学技术出版社 · 2021
养猪科学用药指南易本驰，张汀编著 · 郑州：河南科学技术出版社 · 2014
猪病诊治与合理用药 最新版易本驰，张汀，刘涛等编著 · 郑州：河南科学技术出版社 · 2013