文件大小：0.86 MB 18页
SAT递归后门
作者
尼古拉斯·梅尔曼 
,
塞巴斯蒂安·西贝茨 ,
亚历山大·维尼
-
部分： 音量： 第46届计算机科学数学基础国际研讨会（MFCS 2021）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学数学基础（MFCS） 许可证： 
知识共享署名4.0国际许可 出版日期：2021-08-18
文件
文件标识符
作者详细信息
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→逻辑 计算理论→参数化复杂性和精确算法
关键词
命题可满足性SAT 后门 参数化算法
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
斯蒂芬·库克。 理论证明程序的复杂性。 第三届ACM计算机理论年度研讨会论文集，第151-1581971页。 
-
Marek Cygan、Fedor Fomin、Lukasz Kowalik、Daniel Lokshtanov、Dániel Marx、Marcin Pilipczuk、MichałPilipczzuk和Saket Saurabh。参数化算法。 Springer Publishing Company，Incorporated，2015年1月。
-
比斯特拉·迪基纳（Bistra Dilkina）、卡拉·戈麦斯（Carla P.Gomes）和阿什什·萨巴瓦尔（Ashish Sabharwal）。 学习背景下的后门。 在SAT中，计算机科学讲义第5584卷，第73-79页。 施普林格，2009年。
-
维杰·加内什（Vijay Ganesh）和莫舍·瓦尔迪（Moshe Y.Vardi）。 关于SAT解题器的不合理有效性。 在Beyond the Worst-Case Analysis of Algorithms中，第547-566页。 剑桥大学出版社，2020年。
-
Robert Ganian、M.S.Ramanujan和Stefan Szeider。 卫星后门树宽度。在可满足性测试理论和应用国际会议上，第20-37页。 施普林格，2017年。
-
Robert Ganian、M.S.Ramanujan和Stefan Szeider。 发现易于驾驭的群岛以满足约束并进行计数。 ACM算法汇刊，13（2）：1–322017。
-
谢尔盖·加斯佩斯（Serge Gaspers）、内尔德拉·米斯拉（Neeldhara Misra）、塞巴斯蒂安·奥德尼亚克（Sebastian Ordyniak）、斯特凡·谢德勒（Stefan Szeider）和斯坦尼斯拉夫·伊文（Stanislaviv。 SAT和CSP异构类的后门。 《计算机与系统科学杂志》，85:38–562017年。
-
谢尔盖·加斯佩斯（Serge Gaspers）和斯特凡·斯泽德（Stefan Szeider）。 后门满意。 《多元算法革命及其后》，第287-317页。 施普林格，2012年。
-
谢尔盖·加斯佩斯（Serge Gaspers）和斯特凡·斯泽德（Stefan Szeider）。 2013年IEEE第54届计算机科学基础年会（2013年）有界树宽SAT的强大后门。
-
罗素·英帕利亚佐（Russell Impagliazzo）、拉莫汉·帕图里（Ramamohan Paturi）和弗朗西斯·赞恩（Francis Zane）。 哪些问题具有强指数复杂性？ 计算机与系统科学杂志，63（4）：512-5302001。
-
N.Nishimura、P.Ragde和Stefan Szeider。 检测有关horn和二进制子句的后门集合。 2004年SAT考试。
-
塞巴斯蒂安·奥德尼亚克（Sebastian Ordyniak）、安德烈·席德勒（AndréSchidler）和斯特凡·谢德（Stefan Szeider）。 后门DNF。 技术报告AC-TR-21-001，算法和复杂性小组，TU Wien，2021年。
-
尼尔·罗伯逊和保罗·D·西摩。 图子图形V.不包括平面图。 组合理论杂志，B辑，41（1）：92-1141986。
-
马尔科·萨默和斯特凡·塞德尔。 后门树。 第23届全国人工智能会议记录-第1卷，AAAI'08，第363-368页。 AAAI出版社，2008年。
-
马尔科·萨默和斯特凡·塞德尔。 命题模型计数算法。 《离散算法杂志》，8（1）：50-642010年。
-
马尔科·萨默和斯特凡·塞德尔。 固定参数牵引性。 技术报告AC-TR-21-004，算法和复杂性小组，TU Wien，2021年。 第17章，《可满足性手册》，第2版，2021年。
-
瑞恩·威廉姆斯（Ryan Williams）、卡拉·戈麦斯（Carla P.Gomes）和巴特·塞尔曼（Bart Selman）。 典型案例复杂性的后门。 《第18届国际人工智能联合会议记录》，IJCAI'03，第1173-1178页。 摩根·考夫曼出版社，2003年。
-
Edward Zulkoski、Ruben Martins、Christoph M.Wintersteiger、Robert Robere、Jia Hui Liang、Krzysztof Czarnecki和Vijay Ganesh。 重新启动学习敏感后门。 在CP中，《计算机科学讲义》第11008卷，第453-469页。 施普林格，2018年。