×

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

可计算性和复杂性。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。 (英语) Zbl 1352.03004号

计算机科学课堂讲稿10010.查姆:施普林格(ISBN 978-3-319-50061-4/pbk;978-3-3169-50062-1/电子书)。第十八章,755页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于寻找短分辨率反驳和小的不可满足子集。 (英语) Zbl 1104.03308号

Downey,Rod(编辑)等人,《参数化和精确计算》。2004年9月14日至17日在挪威卑尔根举行的IWPEC 2004第一次国际研讨会。诉讼程序。柏林:施普林格(ISBN 3-540-23071-8/pbk)。计算机科学讲稿316223-234(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化复杂性:系统地应对计算难题的框架。 (英语) Zbl 0935.68046号

Graham,Ronald L.(编辑)等人,《离散数学的当代趋势》。从DIMACS和DIMATIA走向未来。1997年5月19日至25日,捷克共和国什蒂宁城堡,DIMATIA-DIMACS会议记录。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。49, 49-99 (1999).
PDF格式BibTeX公司 XML格式引用

描述性复杂性和(W)层次结构。 (英语) Zbl 0897.03029号

Beame,Paul W.(编辑)等人,证明复杂性和可行算法。DIMACS研讨会论文,美国新泽西州罗格斯市,1996年4月21-24日。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。39, 119-134 (1998).
PDF格式BibTeX公司 XML格式引用

参数化可操纵性的建议等级。 (英语) Zbl 0873.68071号

Ann.纯粹应用。逻辑 84,第1期,119-138(1997); 更正同上,169,第5号,463-465(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

固定参数难以处理。二、。(扩展摘要)。 (英语) Zbl 0799.68086号

Enjalbert,Patrice(编辑)等人,STACS 93。第十届计算机科学理论方面年度研讨会,1993年2月25日至27日,德国瓦茨堡。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。665, 374-385 (1993).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份