克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) Zbl 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) 全文: 内政部
达姆,沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 (英语) Zbl 1243.68212号 科学。计算。程序。 77,编号10-11122-1150(2012).MSC公司:60年第68季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,科学。计算。程序。77,编号10-11122-1150(2012年;兹bl 1243.68212) 全文: 内政部
de Oliveira,Diego Caminha B。;戴维·戴哈贝;帕斯卡·方丹 通过(模型-)等式传播组合决策过程。 (英语) Zbl 1243.68150号 科学。计算。程序。 77,第4期,518-532(2012).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.C.B.de Oliveira}等人,科学。计算。程序。77,No.4,518--532(2012;Zbl 1243.68150) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 (英语) Zbl 1279.68212号 科学。计算。程序。 77,编号7-8,779-798(2012).MSC公司:60年第68季度 68T20型 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper},科学。计算。程序。77,编号7--8,779--798(2012;Zbl 1279.68212) 全文: 内政部