莉塞特·桑切斯;威格·威瑟林克;Tim A.C.Willemse。 基于BDD的平价游戏求解器的比较。 (英语) Zbl 1528.68235号 Orlandini,Andrea(ed.)等人,《第九届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)277103-117(2018)。MSC公司:60年第68季度 68T20型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Sanchez}等人,《电子》。程序。西奥。计算。科学。(EPTCS)277103--117(2018;Zbl 1528.68235) 全文: arXiv公司 链接
斯乔德·克兰恩;马西耶·加兹达;威格·威瑟林克;Tim A.C.Willemse。 定点逻辑中的抽象。 (英语) Zbl 1367.68187号 ACM事务处理。计算。日志。 第16号第4条第29条第39页(2015年).MSC公司:60年第68季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人,ACM Trans。计算。日志。16,第4号,第29条,第39页(2015年;兹bl 1367.68187) 全文: 内政部
西蒙娜·奥尔赞;威格·威瑟林克;Tim A.C.Willemse。 参数化布尔方程系统的静态分析技术。 (英语) Zbl 1234.68263号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505230-245(2009)。MSC公司:60年第68季度 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}等人,Lect。注释计算。科学。55052230-245(2009年;兹比尔12346.8263) 全文: 内政部