凯里里迪斯、阿纳斯塔西奥斯;安舒马利·施里瓦斯塔瓦;莫舍·瓦尔迪。;张志伟 通过多线性傅里叶展开求解连续空间中的混合布尔约束。 (英文) Zbl 1520.68105号 Artif公司。智力。 299,文章ID 103559,32 p.(2021).MSC公司:68兰特 06E30年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kyrillidis}等人,人工制品。智力。299,文章ID 103559,32页(2021;Zbl 1520.68105) 全文: 内政部
伊夫·克拉玛(编辑);彼得·哈默。(编辑) [亚历山大·科根;Kazuhisa Makino;布鲁诺·西蒙;恩德雷·博罗斯;马丁·哥伦比克(Martin C.Golumbic)。;弗拉基米尔·古维奇;丽莎·海勒斯坦;茨城,东芝;克劳德·本扎肯;纳迪亚·布劳纳] 布尔函数。理论、算法和应用。 (英文) Zbl 1237.06001号 数学及其应用百科全书142.剑桥:剑桥大学出版社(ISBN 978-0-521-84751-3/hbk;978-1-139-06424-8/ebook)。xxi,687页。(2011). 审核人:塞尔吉乌·鲁迪亚努(布库雷什蒂) MSC公司:06-00 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Crama}(编辑)和\textit{P.L.Hammer}(主编),布尔函数。理论、算法和应用。剑桥:剑桥大学出版社(2011;Zbl 1237.06001)
伊夫·克拉玛(编辑);彼得·哈默。(编辑) 数学、计算机科学和工程中的布尔模型和方法。 (英文) Zbl 1196.06001号 数学及其应用百科全书134.剑桥:剑桥大学出版社(ISBN 978-0-521-84752-0/hbk)。十八、759页。(2010).MSC公司:06-06 03-06 68-06 94-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Crama}(编辑)和\textit{P.L.Hammer}(主编),数学、计算机科学和工程中的布尔模型和方法。剑桥:剑桥大学出版社(2010;Zbl 1196.06001)
维奥里卡Sofrone-Stokkerman 关于有界分配格的统一。 (英文) Zbl 1367.03025号 ACM事务处理。计算。日志。 8,第2号,第12条,28页(2007年).MSC公司:03B35型 05年6月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Sofronie-Stokkermans},ACM事务处理。计算。日志。8,第2号,第12条,第28页(2007年;兹bl 1367.03025) 全文: 内政部