莫妮克·吉亚德;库尔特·斯皮尔伯格 零对编程中的逻辑约简方法。最小首选变量。 （英语） Zbl 0452.90044号 操作。物件。 29, 49-74 (1981)。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于31文件 MSC公司： 90C09型 布尔编程 关键词：逻辑归约方法;最小首选变量;算法;零一枚举码;大规模问题 PDF格式BibTeX公司 XML格式引用 \textit{M.Guignard}和\textit{K.Spielberg}，Oper。第29号、第49号和第74号决议（1981年；Zbl 0452.90044） 全文： 内政部