凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔 通过降低SAT来解决平价游戏。 (英语) Zbl 1279.68211号 J.计算。系统。科学。 78,第2期,430-440(2012)。MSC公司:第68季度第60季度 03B70号 91A05型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}等人,J.Compute。系统。科学。78,第2号,430-440(2012;Zbl 1279.68211) 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利;莫舍·瓦尔迪。 增强抽象验证:自动机理论观点。 (英语) Zbl 0983.68109号 J.计算。系统。科学。 62,第4期,668-690(2001)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Y.Kesten}等人,J.Comput。系统。科学。62,第4号,668--690(2001;Zbl 0983.68109) 全文: 内政部