马克·达勒姆;特里普蒂·杰恩;克劳斯·施耐德;迈克尔·吉尔曼 通过答案集编程自动合成最佳尺寸的集中器。 (英语) Zbl 1491.68069号 Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10377, 279-285 (2017). 概要:集中器是一个具有(N)输入和(M)输出的电路,可以将(K)有效输入的任何给定子集路由到(M)的输出。集中器电路是许多并行算法的重要组成部分。然而,优化集中器电路的设计是一项具有挑战性的任务,许多研究论文已经考虑过这一任务。在本文中,我们展示了如何使用答案集编程来自动生成可证明为最佳大小的集中器电路。关于整个系列,请参见[Zbl 1367.68005号]. MSC公司: 2006年第68季度 作为计算模型的网络和电路;电路复杂性 68N17号 逻辑编程 68宽10 计算机科学中的并行算法 软件:扣环 PDF格式BibTeX公司 XML格式引用 \textit{M.Dahlem}等人,Lect。注释计算。科学。10377、279--285(2017;Zbl 1491.68069) 全文: 内政部