×

找到5个文档(结果1-5)

可满足性与合成模预言。 (英语) Zbl 1498.68082号

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 263-284 (2022).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用

在POMDP中实施几乎安全的可达性。 (英语) Zbl 1493.68213号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 602-625 (2021).
PDF格式BibTeX公司 XML格式引用

MedleySolver:在线SMT算法选择。 (英语) 兹伯利07495591

Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831453-470(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

增量确定。 (英语) Zbl 1475.68222号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9710, 375-392 (2016).
MSC公司:68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

出版年份

主字段