×

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

满意度测试的理论和应用——SAT 2021。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。 (英语) Zbl 1482.68030号

计算机科学课堂讲稿12831.商会:施普林格出版社(ISBN 978-3-030-80222-6/pbk;978-3-030-80223-3/ebook)。xi,第564页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非子句最大可满足性的表演算。 (英语) Zbl 1435.68372号

Cerrito,Serenella(编辑)等人,《使用分析表和相关方法的自动推理》。第28届国际会议,2019年9月3日至5日,英国伦敦,TABLEAUX 2019。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11714, 58-73 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

有符号CNF公式的SAT问题。 (英语) Zbl 0966.03033号

Basin,David(编辑)等人,标签扣除。基于1998年9月德国弗莱堡LD'98第一次国际研讨会。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。第17页,第59-80页(2000年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份