×

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

即使对于最简单的神经网络,可达性也是NP完全的。 (英语) Zbl 07670978号

Bell,Paul C.(编辑)等人,《可达性问题》。第15届国际会议,RP 2021,英国利物浦,2021年10月25-27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13035, 149-164 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

DiMo–使用命题逻辑的离散建模。 (英语) Zbl 07495577号

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

使用SMT求解器对时间自动机进行精确增量分析。 (英语) Zbl 1348.68118号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,177-192(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份