×

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

布尔可满足性的连通性:计算和结构二分法。 (英语) Zbl 1201.03023号

Bugliesi,Michele(编辑)等人,《自动化,语言和编程》。2006年7月10日至14日,意大利威尼斯,第33届国际学术讨论会,ICALP 2006。柏林:施普林格出版社(ISBN 978-3-540-35904-3/pbk)。计算机科学课堂讲稿4051346-357(2006)。
PDF格式BibTeX公司 XML格式引用

关于Horn包络和超图横截。(扩展摘要)。 (英语) Zbl 0925.03036号

Ng,Kam W.(编辑)等人,《算法与计算》。1993年12月15日至17日,第四届国际研讨会,ISAAC’93,香港。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。762, 399-405 (1993).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件