×

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

使用测试输入生成的分离逻辑增强基于堆的程序的符号执行。 (英语) Zbl 1437.68044号

Chen,Yu Fang(编辑)等人,用于验证和分析的自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11781, 209-227 (2019).
PDF格式BibTeX公司 XML格式引用

作为DPLL模理论的符号执行。 (英语) 兹比尔1427.68050

Neykova,Rumyana(编辑)等人,2014年帝国理工学院计算机专业学生研讨会,ICCSW’14,英国伦敦,2014年9月25日至26日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。43, 58-65 (2014).
MSC公司:68号30 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过符号执行进行自我组合。 (英语) Zbl 1281.68082号

Jones,Andrew V.(编辑)等人,2013年帝国理工学院计算机专业学生研讨会ICCSW’13,英国伦敦,2013年9月26日至27日。第三次研讨会论文集。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-63-7)。OASIcs–信息学中的OpenAccess系列35,95-102,仅电子版(2013年)。
MSC公司:68号30 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SMT的随机局部搜索:结合理论求解器和WalkSAT。 (英语) Zbl 1348.68227号

Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,163-178(2011)。
MSC公司:68T20型 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

出版年份

主字段