罗尔夫·德雷克斯勒（编辑）；丹尼尔·格罗（编辑） 布尔技术的最新发现。第14届布尔问题国际研讨会论文集，IWSBP，虚拟，2020年9月24日至25日。 （英语） Zbl 1470.94002号 查姆：施普林格（ISBN 978-3-030-68070-1/hbk；978-3-0.30-68073-2/pbk；988-3-030-268071-8/电子书）。vii，197页。(2021). 将索引文章显示为搜索结果。 出版商描述：本书描述了布尔逻辑和布尔代数领域的最新发现，涵盖了电路和系统设计的应用领域，也包括数学和理论计算机科学的基础研究。内容包括受邀章节和在第14届布尔问题国际研讨会上发表的最佳论文精选。为逻辑综合和布尔技术领域的最新研究提供单一来源参考；包括在第14届布尔问题国际研讨会上发表的最佳论文选集；涵盖布尔代数、布尔逻辑、布尔建模、组合搜索、布尔和位运算、符号计算机代数、用于解决布尔问题的软件和工具、布尔逻辑和代数的应用、现实世界问题的应用、布尔约束求解以及布尔逻辑的扩展。对数学感兴趣的文章将单独复习。关于之前的研讨会，请参阅[Zbl 1416.94005号].索引文章：丹尼尔·考夫曼，使用代数推理对整数乘法器电路进行形式验证：综述，1-27[Zbl 07410738号]斯坦巴赫（Bernd Steinbach）；克里斯蒂安·波斯托夫，对称索引生成函数的快速优化综合，59-81[Zbl 1498.68093号]费利克斯·威特卡·佩尔，公理化布尔微分，83-104[Zbl 1515.03225号]Stanković，Radomir S。；Milena Stanković；克劳迪奥·莫拉加；雅科·阿斯托拉，用类FFT置换算法构造二进制bent函数，105-124[Zbl 1484.94047号]施密特，简；彼得·菲舍尔，用于测试模式压缩的非线性代码：老派方法，125-142[Zbl 07410743号]Miller，D.Michael；杰哈德·杜克（Gerhard W.Dueck）。，带正负控制的可逆电路合成的转换技术，143-165[Zbl 07410744号]克劳迪奥·莫拉加Toffoli和Peres闸门的混合控制，167-175[Zbl 07410745号]Alireza Mahzoon；丹尼尔·格罗（Daniel Große）；罗尔夫·德雷克斯勒，Genmul：生成架构复杂的乘数以挑战正式验证工具，177-191[Zbl 07410746号] 引用于1审查 MSC公司： 2006年4月 与信息和传播理论有关的会议记录、会议、收藏等 68-06 与计算机科学有关的论文集、会议、文集等 2006年第68季度 作为计算模型的网络和电路；电路复杂性 94C11号机组 交换理论，布尔代数在电路和网络中的应用 94D10号 布尔函数 00B25型 杂项特定利益的会议记录 引文：Zbl 1416.94005号 软件：GenMul公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}（编辑）和\textit{D.Große}（主编），布尔技术的最新发现。第14届布尔问题国际研讨会论文集，IWSBP，虚拟，2020年9月24日至25日。查姆：施普林格（2021；Zbl 1470.94002） 全文： 内政部