克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) 兹比尔1243.68216 科学。计算。程序。 77,第10-11号,1178-1197(2012).MSC公司:60年第68季度 68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人,科学。计算。程序。77,No.10--11,1178--1197(2012;Zbl 1243.68216) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8,908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},科学。计算。程序。77,编号7-8908-939(2012年;兹bl 1242.68075) 全文: 内政部
埃里克·范怀克;德里克·博丹;高继敏;Krishnan、Ligesh Silver:一个可扩展的属性语法系统。 (英语) Zbl 1187.68285号 科学。计算。程序。 75,编号1-2,39-54(2010).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.van Wyk}等人,科学。计算。程序。75,编号1--2,39-54(2010;Zbl 1187.68285) 全文: 内政部 链接