沃尔夫冈·德沃亚克;马蒂·Järvisalo;约翰·彼得·沃纳;斯特凡·沃尔特兰 抽象论证的复杂敏感决策程序。 (英语) Zbl 1334.68206号 Artif公司。智力。 206, 53-78 (2014).MSC公司:第68页第27页 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,Artif。智力。206,53-78(2014年;兹比尔1334.68206) 全文: 内政部
马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 布尔电路表方法中的无限制切割与限制切割。 (英语) Zbl 1086.03048号 安。数学。Artif公司。智力。 44,第4期,373-399(2005).MSC公司:20层03 第68页第15页 68T20型 03B70号 94立方厘米 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,《数学年鉴》。Artif公司。智力。44,第4号,373--399(2005;Zbl 1086.03048) 全文: 内政部