×

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

学习子句对随机局部搜索的影响。 (英语) Zbl 07331014号

Pulina,Luca(编辑)等人,《可满足性测试的理论和应用——SAT 2020》。第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12178, 89-106 (2020).
PDF格式BibTeX公司 XML格式引用

抽象冲突驱动学习。 (英语) Zbl 1301.68156号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1832-7)。143-154 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份