×

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

可满足性的分支规则(扩展抽象)。 (英语) Zbl 1044.68766号

Thiagarajan,P.S.(编辑),《软件技术和理论计算机科学基础》。第十四届会议,1994年12月15日至17日,印度马德拉斯。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-58715-2/SC)。莱克特。注释计算。科学。880, 426-437 (1994).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件