×

析取逻辑程序的正常后门。 (英语) 兹比尔1367.68032


MSC公司:

68N17号 逻辑编程
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Abdelwaheb Ayari和David A.Basin。QUBOS:使用命题可满足性求解器确定量化布尔逻辑。在第四届计算机辅助设计形式方法国际会议(FMCAD’02)(计算机科学讲稿)上,Mark Aagaard和John W.O’Leary(编辑),第2517卷。俄勒冈州波特兰市斯普林格·弗拉格,187–201。内政部:http://dx.doi.org/10.1007/3-540-36126-X_12 ·Zbl 1019.68597号 ·doi:10.1007/3-540-36126-X_12
[2] 尤利亚·巴波维奇、埃斯拉·埃尔登和弗拉基米尔·利夫希茨。2000.Fages’定理和答案集编程。在第八届非单调推理国际研讨会(NMR’00)的会议记录中,奇塔·巴拉尔和米洛斯;aw Truszczyń滑雪(编辑)。arXiv:cs/0003042。
[3] 雷切尔·本·埃利亚胡(Rachel Ben-Eliyahu)和丽娜·德希特(Rina Dechter)。析取逻辑程序的命题语义。数学与人工智能年鉴12、1、53–87。内政部:http://dx.doi.org/10.1007/BF01530761 ·Zbl 0858.68012号 ·doi:10.1007/BF01530761
[4] 妮可·比多ít和克莉丝汀·弗罗伊德沃。1991.默认否定和不可验证逻辑程序。理论计算机科学78,1,85–112。内政部:http://dx.doi.org/10.1016/0304-3975(51)90004-7 ·Zbl 0716.68075号 ·doi:10.1016/0304-3975(51)90004-7
[5] 阿明·比尔。2004.解决并扩大。在第17届可满足性测试理论与应用国际会议(SAT’04)(计算机科学讲稿)的会议记录中,Holger H.Hoos和David G.Mitchell(编辑)。加拿大不列颠哥伦比亚省温哥华市斯普林格·弗拉格,59-70。内政部:http://dx.doi.org/10.1007/11527695_5 ·Zbl 1122.68585号 ·doi:10.1007/11527695_5
[6] Armin Biere、Marijn Heule、Hans van Maaren和Toby Walsh(编辑)。2009年,《可满足性手册》。人工智能和应用前沿,第185卷。荷兰阿姆斯特丹IOS出版社·Zbl 1183.68568号
[7] Stefan Brass和Jürgen Dix公司。1998年。选言句基础良好语义的特征:合流计算和迭代GCWA。自动推理杂志20,1,143–165。内政部:http://dx.doi.org/10.1023/A:1005952908693 ·Zbl 0893.68026号 ·doi:10.1023/A:1005952908693
[8] Gerhard Brewka、Thomas Eiter和Mirosław Truszczyń滑雪。2011年答案集编程一览。ACM通信54、12、92–103。内政部:http://dx.doi.org/10.1145/2043174.2043195 ·doi:10.1145/2043174.2043195
[9] Francesco Calimeri、Giovambattista Ianni和Francesco Ricca。2014年,第三届开放答案集编程大赛。逻辑程序设计理论与实践14,1(2014),117–135。内政部:http://dx.doi.org/10.1017/S1471068412000105 ·Zbl 06285650号 ·doi:10.1017/S147106841200005
[10] Hubie Chen和Yannet Interian。2005.生成随机量化布尔公式的模型。在第19届国际人工智能联合会议(IJCAI’05)的会议记录中,Leslie Pack Kaelbling和Alessandro Saffiotti(编辑)。英国苏格兰爱丁堡专业图书中心,66-71·Zbl 1122.68602号
[11] J.Chen、I.Kanj和G.Xia。2006.改进了顶点覆盖的参数化上限。在第31届计算机科学数学基础国际研讨会论文集(MFCS’06)(计算机科学讲义)中,Rastislav Krá洛维č和PawełUrzyczyn(编辑),第4162卷。Springer Verlag,StaráLesná,斯洛伐克,238-249。内政部:http://dx.doi.org/10.1007/11821069_21 ·Zbl 1132.68421号 ·doi:10.1007/11821069_21
[12] 基思·克拉克(Keith L.Clark),1978年。否定为失败。逻辑和数据库1,293–322·doi:10.1007/978-1-4684-3384-5_11
[13] 罗纳德·德哈恩(Ronald DeHaan)和斯特凡·斯泽德(Stefan Szeider)。2014年a。SAT的固定参数可处理简化。第17届可满足性测试理论与应用国际会议论文集(SAT’14)(计算机科学讲稿),Carsten Sinz和Uwe Egly(编辑),第8561卷。施普林格·弗拉格,奥地利维也纳,85-102。内政部:http://dx.doi.org/10.1007/978-3-319-09284-3_8作为维也纳逻辑夏令营的一部分举行,VSL 2014·Zbl 1423.68444号 ·doi:10.1007/978-3-319-09284-38
[14] 罗纳德·德哈恩(Ronald DeHaan)和斯特凡·斯泽德(Stefan Szeider)。2014年b。NP以外推理问题的参数化复杂性。第14届知识表示和推理原则国际会议论文集(KR’14),Chitta Baral、Giuseppe De Giacomo和Thomas Eiter(编辑)。AAAI出版社,作为维也纳逻辑夏令营的一部分,VSL 2014。完整版CoRR:1312.1672。
[15] 威廉·道林(William F.Dowling)和让·盖利尔(Jean H.Gallier)。1984.测试命题Horn公式可满足性的线性时间算法。《逻辑编程杂志》1,3,267-284。内政部:http://dx.doi.org/10.1016/0743-1066(84)90014-1 ·Zbl 0593.68062号 ·doi:10.1016/0743-1066(84)90014-1
[16] 罗德尼·G·唐尼(Rodney G.Downey)和迈克尔·R·费罗斯(Michael R.Fellows)。1999.参数化复杂性。纽约施普林格-弗拉格。内政部:http://dx.doi.org/10.1007/978-1-4612-0515-9 ·Zbl 0961.68533号 ·doi:10.1007/978-1-4612-0515-9
[17] 罗德尼·G·唐尼(Rodney G.Downey)和迈克尔·R·费罗斯(Michael R.Fellows)。2013.参数化复杂性基础。斯普林格·弗拉格,伦敦。内政部:http://dx.doi.org/10.1007/978-1-4471-5559-1 ·Zbl 1358.68006号 ·doi:10.1007/978-1-4471-5559-1
[18] Christian Drescher、Martin Gebser、Torsten Grote、Benjamin Kaufmann、Arne König、Max Ostrowski和Torsten Schaub。2008.冲突驱动的析取答案集求解。在第十一届知识表示与推理原则国际会议论文集(KR’08)中,Gerhard Brewka和Jé第244页;我是朗(编辑)。AAAI出版社,422-432。
[19] Heinz-Dieter Ebbinghaus和Jörg Flum公司。1999.有限模型理论(第二版)。柏林斯普林格·弗拉格·Zbl 0932.03032号
[20] 乌韦·埃格利(Uwe Egly)、托马斯·艾特(Thomas Eiter)、沃尔克·科洛茨(Volker Klotz)、汉斯·托姆皮茨(Hans Tompits)和斯特凡·沃尔特兰(Stefan Woltran)。2001.使用量化布尔公式计算稳定模型:一些实验结果。《第一届答案集编程国际研讨会论文集》(ASP’01),《迈向高效和可扩展的知识表示和推理》,Alessandro Provetti和Tran Cao Son(编辑)。AAAI出版社,7。
[21] 乌韦·埃格利(Uwe Egly)、托马斯·艾特(Thomas Eiter)、汉斯·托姆皮茨(Hans Tompits)和斯特凡·沃尔特兰(Stefan Woltran)。2000.使用量化布尔公式解决高级推理任务。在《第17届人工智能会议论文集》(AAAI’00)中,Henry Kautz和Bruce Porter(编辑)。AAAI出版社,417–422。
[22] Uwe Egly、Florian Lonsing和Magdalena Widl。2013.远距离分辨率:基于搜索的QBF求解中的证据生成和策略提取。在《第九届程序设计、人工智能和推理逻辑国际会议论文集》(LPAR’13)(计算机科学讲义)中,Ken McMillan、Aart Middeldorp和Andrei Voronkov(编辑),第8312卷。斯普林格·弗拉格(Springer Verlag),南非斯特伦博什(Stellenbosch),291-308。内政部:http://dx.doi.org/10.1007/978-3642-45221-5_21 ·Zbl 1406.68106号 ·doi:10.1007/978-3642-45221-5_21
[23] 托马斯·艾特(Thomas Eiter)、迈克尔·芬克(Michael Fink)、汉斯·托姆皮茨(Hans Tompits)和斯特凡·沃尔特兰(Stefan Woltran)。2004年a。稳定逻辑程序设计中的析取消除。在第九届知识表示和推理原则国际会议(KR’04)的会议记录中,Anthony G.Cohn(Ed.)。AAAI出版社,447–458·Zbl 1122.68369号
[24] 托马斯·艾特(Thomas Eiter)、迈克尔·芬克(Michael Fink)、汉斯·托姆皮茨(Hans Tompits)和斯特凡·沃尔特兰(Stefan Woltran)。2004年b。在一致和强等价下简化逻辑程序。在第七届逻辑编程和非单调推理国际会议论文集(LPNMR’04)(计算机科学讲义)中,Ilkka NiemeläVladimir Lifschitz(编辑),第2923卷。施普林格·弗拉格,87-99。内政部:http://dx.doi.org/10.1007/978-3-540-24609-1_10 ·Zbl 1122.68369号 ·数字对象标识代码:10.1007/978-3-540-24609-110
[25] 托马斯·艾特和乔治·戈特洛布。关于析取逻辑编程的计算成本:命题案例。数学与人工智能年鉴15,3–4,289–323。内政部:http://dx.doi.org/10.1007/BF01536399 ·Zbl 0858.68016号 ·doi:10.1007/BF01536399文件
[26] 乌尔·恩德里斯(Ulle Endriss)、罗纳德·德哈恩(Ronald De Haan)和斯特凡·斯泽德(Stefan Szeider)。2014.判断聚合中议程安全的参数化复杂度结果。《第五届计算社会选择国际研讨会论文集》(COMSOC’14),Ariel Procaccia和Toby Walsh(编辑)。宾夕法尼亚州匹兹堡卡内基梅隆大学。
[27] 弗朗索瓦·法赫斯(Francois Fages)。1994.克拉克的一致性;s的完备性和稳定模型的存在性。计算机科学中的逻辑方法杂志1,1,51–60。
[28] 约翰·费希特(Johannes K.Fichte)和斯特凡·斯泽德(Stefan Szeider)。2013.析取逻辑程序正常化的后门。在第27届AAAI人工智能会议(AAAI’13)的会议记录中,Marie des Jardins和Michael Littman(编辑)。AAAI出版社,320-327。该论文的初步版本在回答集编程和其他计算范式研讨会(ASPOCP’12)上发布。
[29] 约翰·费希特(Johannes K.Fichte)和斯特凡·斯泽德(Stefan Szeider)。2015年,为易于驾驭的答案编程开后门。人工智能220,0,64–103。内政部:http://dx.doi.org/10.1016/j.artint.2014.12.001《第22届国际人工智能会议论文集》(IJCAI’11)上发表的一篇论文的扩展和更新版本·兹比尔1328.68040 ·doi:10.1016/j.artint.2014.12.001
[30] Johannes K.Fichte,Mirosław Truszczyń滑雪和Stefan Woltran。2015年,双标准课程——被遗忘的课程。逻辑程序设计理论与实践15,04-05,495-510。第31届逻辑程序设计国际会议特刊(ICLP’15)。
[31] Jörg Flum和Martin Grohe。2003.描述参数化复杂度类。信息与计算187,2,291–319。内政部:http://dx.doi.org/10.1016/S0890-5401(03)00161-5·Zbl 1076.68031号 ·doi:10.1016/S0890-5401(03)00161-5
[32] Jörg Flum和Martin Grohe。2006.参数化复杂性理论。理论计算机科学,第十四卷。柏林斯普林格·弗拉格。495页。内政部:http://dx.doi.org/10.1007/3-540-29953-X ·doi:10.1007/3-540-29953-X
[33] 谢尔盖·加斯佩斯(Serge Gaspers)和斯特凡·斯泽德(Stefan Szeider)。2012年,后门满意。在《多元算法革命及其后》中,Hans Bodlaender、Rod Downey、Fedor Fomin和Dá尼尔·马克思(编辑)。计算机科学讲义,第7370卷。柏林施普林格-弗拉格,287–317。内政部:http://dx.doi.org/10.1007/978-3642-30891-8_15 ·Zbl 1358.68133号 ·doi:10.1007/978-3642-30891-815
[34] 马丁·格布瑟(Martin Gebser)、托米·扬胡宁(Tomi Janhunen)和朱西·林塔南(Jussi Rintanen)。2014.回答SAT模块无循环编程。在《第21届欧洲人工智能会议论文集》(ECAI’14)(人工智能和应用的前沿)中,托尔斯滕·绍布、格哈德·弗里德里希和巴里·奥’沙利文(编辑),第263卷。IOS出版社,捷克共和国布拉格,351-356。内政部:http://dx.doi.org/10.3233/978-1-61499-419-0-351 ·Zbl 1366.68017号
[35] Martin Gebser和Roland Kaminski。2012.个人沟通。
[36] 马丁·格布瑟、本杰明·考夫曼、罗兰·卡明斯基、马克斯·奥斯特洛夫斯基、托尔斯滕·绍布和马吕斯·施奈德。2011年,Potassco:波茨坦答案集解答集合。AI通信24、2、107–124。内政部:http://dx.doi.org/10.3233/AIC-2011-0491 ·Zbl 1215.68214号
[37] 马丁·格布瑟(Martin Gebser)、本杰明·考夫曼(Benjamin Kaufmann)和托尔斯滕·绍布(Torsten Schaub)。2013.高级冲突驱动的析取答案集解决。在第23届国际人工智能联合会议(IJCAI’13)的会议记录中,Francesca Rossi和Sebastian Thrun(编辑)。AAAI出版社,中国北京,912-918·Zbl 1251.68060号
[38] Martin Gebser、Lenning Liu、Gayathri Namasivayam、AndréNeumann、Torsten Schaub和Mirosław Truszczyń滑雪。2007年,第一届答案集编程系统竞赛。《第九届逻辑编程和非单调推理会议论文集》(LPNMR’07)(计算机科学讲稿),奇塔·巴拉尔、格哈德·布雷卡和约翰·施利夫(编辑),第4483卷。Springer-Verlag,3-17岁。内政部:http://dx.doi.org/10.1007/978-3-540-72200-7_3 ·Zbl 05211322号 ·doi:10.1007/978-3-540-72200-73
[39] 马丁·格布瑟(Martin Gebser)、托尔斯滕·绍布(Torsten Schaub)、斯文·蒂勒(Sven Thiele)和菲利普·韦伯(Philippe Veber)。2011.使用答案集编程检测大型生物网络中的不一致性。逻辑程序设计理论与实践11,2–3,323–360·Zbl 1220.68036号 ·doi:10.1017/S1471068410000554
[40] Michael Gelfond和Vladimir Lifschitz。1988.逻辑编程的稳定模型语义。在第五届逻辑程序设计国际会议和研讨会(ICLP/SLP’88)的会议记录中,Robert A.Kowalski和Kenneth A.Bowen(编辑),第2卷。麻省理工学院出版社,1070-1080。
[41] Michael Gelfond和Vladimir Lifschitz。逻辑程序和析取数据库中的经典否定。新一代计算9、3/4、365–386。内政部:http://dx.doi.org/10.1007/BF03037169 ·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[42] Enrico Giunchiglia、Yuliya Lierler和Marco Maratea。2006.基于命题可满足性的答案集编程。自动推理杂志36,4,345–377。内政部:http://dx.doi.org/10.1007/s10817-006-9033-2 ·兹比尔1107.68029 ·doi:10.1007/s10817-006-9033-2
[43] 卡拉·戈麦斯(Carla P.Gomes)、亨利·考茨(Henry Kautz)、阿什什·萨巴瓦尔(Ashish Sabharwal)和巴特·塞尔曼(Bart Selman)。2008.第2章:可满足性求解器。在《知识表示手册》中,Vladimir Lifschitz、Frank van Harmelen和Bruce Porter(编辑)。《人工智能基础》,第3卷。爱思唯尔科学出版社,荷兰阿姆斯特丹北荷兰特,第2章,89-134。内政部:http://dx.doi.org/10.1016/S1574-6526(07)03002-7 ·doi:10.1016/S1574-6526(07)03002-7
[44] 乔治·戈特洛布(Georg Gottlob)和斯特凡·斯泽德(Stefan Szeider)。2008.人工智能、约束满足和数据库问题的固定参数算法。《计算杂志》51,3,303–325。内政部:http://dx.doi.org/10.1093/comjnl/bxm056 ·Zbl 05534223号 ·doi:10.1093/comjnl/bxm056
[45] 亚历山大·古尔蒂亚耶娃(Alexandra Goultiaeva)、马蒂娜·塞德尔(Martina Seidl)和阿明·比尔(Armin Biere)。2013.弥合双重传播和基于CNF的QBF解决方案之间的差距。欧洲设计、自动化和测试会议记录(日期’13)。EDA Consortium,法国格勒诺布尔,811-814·doi:10.7873/DATE.2013.172
[46] 托米·詹胡宁(Tomi Janhunen)。正常逻辑程序和命题理论的一些可译性结果。应用非经典逻辑杂志16,1–2,35–86。内政部:http://dx.doi.org/10.3166/jancl.16.35-86 ·Zbl 1184.68160号 ·doi:10.3166/jancl.16.35-86
[47] 托米·詹胡宁(Tomi Janhunen),伊尔卡·尼梅尔(Ilkka Niemel);,迪特马尔·塞佩尔(Dietmar Seipel)、帕特里克·西蒙斯(Patrik Simons)和贾慧友(Jia-Huai You)。2006.在稳定模型语义中展开偏袒和析取。ACM计算机逻辑学报7,1,1–37。内政部:http://dx.doi.org/10.1145/1119439.1119440 ·Zbl 1367.68035号 ·doi:10.1145/1119439.1119440
[48] 托米·詹胡宁(Tomi Janhunen),伊尔卡·尼梅尔(Ilkka Niemel);,和Mark Sevalnev。2009年。通过减少差异逻辑计算稳定模型。在《第十届逻辑程序设计和非单调推理国际会议论文集》(LPNMR’09)(计算机科学讲稿)中,Esra Erdem、Fangzhen Lin和Torsten Schaub(编辑),第5753卷。斯普林格·弗拉格,142-154。内政部:http://dx.doi.org/10.1007/978-3-642-04238-6_14 ·兹比尔1258.68030 ·doi:10.1007/978-3642-04238-614
[49] 托米·詹胡宁(Tomi Janhunen)、艾米莉亚·奥卡里宁(Emilia Oikarinen)、汉斯·托姆皮茨(Hans Tompits)和斯特凡·沃尔特兰(Stefan Woltran)。2009.分离稳定模型的模块化方面。《人工智能研究杂志》35,2813–857。内政部:http://dx.doi.org/10.1613/jair.2810 ·Zbl 1192.68129号
[50] 米科尔&#225š Janota和Joao Marques-Silva。2011.基于限定的MUS成员测试工具。在《第十一届逻辑编程和非单调推理国际会议论文集》(LPNMR’11)(计算机科学讲义)中,James P.Delgrand和Wolfgang Faber(编辑),第6645卷。施普林格·维拉格,266–271。内政部:http://dx.doi.org/10.1007/978-3-642-20895-9_30 ·05900007兹罗提 ·doi:10.1007/978-3-642-20895-9_30
[51] Hadi Katebi、Karem A.Sakallah和João P.Marques-Silva。2011年,现代SAT解题器解剖的实证研究。在第14届可满足性测试理论与应用国际会议(SAT’11)(计算机科学讲稿)的会议记录中,Karem A.Sakallah和Laurent Simon(编辑),第6695卷。施普林格·弗拉格,343–356。内政部:http://dx.doi.org/10.1007/978-3642-21581-0_27 ·Zbl 1330.68271号 ·doi:10.1007/978-3642-21581-027
[52] 汉斯·克莱恩Bü宁和西奥多·莱特曼。命题逻辑:演绎与算法。剑桥大学出版社,剑桥/纽约,纽约,420页。
[53] 李佐英(Joohyng Lee)。2005.循环公式的模型理论对应物。《第19届国际人工智能联合会议论文集》(IJCAI’05),Leslie Pack Kaelbling和Alessandro Saffiotti(编辑),第19卷。英国苏格兰爱丁堡专业图书中心,503-508。
[54] Joohyung Lee和Vladimir Lifschitz。2003.析取逻辑程序的循环公式。《第19届逻辑程序设计国际会议论文集》(LP’03)(计算机科学讲稿),Catuscia Palamidessi(Ed.),第2916卷。斯普林格·弗拉格,451-465。内政部:http://dx.doi.org/10.1007/978-3-540-24599-5_31 ·doi:10.1007/978-3-540-24599-5_31
[55] Nicola Leone、Gerald Pfeifer、Wolfgang Faber、Thomas Eiter、Georg Gottlob、Simona Perri和Francesco Scarcello。2006.用于知识表示和推理的DLV系统。ACM计算机逻辑学报7、3、499–562。内政部:http://dx.doi.org/10.1145/1149114.1149117 ·Zbl 1367.68308号 ·数字对象标识代码:10.1145/1149114.1149117
[56] 尤利亚·利勒(Yuliya Lierler)。CMODELS–基于SAT的析取答案集求解器。《第八届逻辑程序设计和非单调推理国际会议论文集》(LPNMR’05)(计算机科学讲义),奇塔·巴拉尔、吉安路易吉·格雷科、尼古拉·利昂和乔治·特拉西纳(编辑),第3662卷。斯普林格·弗拉格,447–451。内政部:http://dx.doi.org/10.1007/11546207_44 ·doi:10.1007/11546207_44
[57] 弗拉基米尔·利夫希茨和亚历山大·拉兹博罗夫。2006.为什么有这么多循环公式?ACM计算机逻辑学报7,2,261–268。内政部:http://dx.doi.org/10.1145/11313.1131316 ·Zbl 1367.68036号 ·数字对象标识代码:10.1145/1131313.1131316
[58] 林芳珍和赵玉婷。2004.ASSAT:SAT解算器计算逻辑程序的答案集。人工智能157,1–2,115–137。内政部:http://dx.doi.org/10.1016/j.artint.2004.04.004 ·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004
[59] 弗洛里安·朗辛(Florian Lonsing)和阿明·比尔(Armin Biere)。2010.DepQBF:依赖软件QBF解算器系统描述。可满足性、布尔建模和计算杂志7,71–76·Zbl 1306.68165号
[60] 莎拉·马利克和张林涛。2009.从理论困难到实际成功的布尔可满足性。ACM通讯52,8(2009年8月),76-82。内政部:http://dx.doi.org/10.1145/1536616.1536637 ·Zbl 05747903号 ·数字对象标识代码:10.1145/1536616.1536637
[61] Victor W.Marek和Mirosław Truszczyń滑雪。1999.稳定模型和替代逻辑编程范式。《逻辑编程范式:25年展望》,Krzysztof R.Apt,Victor W.Marek,Mirosław Truszczyń滑雪和大卫·S·沃伦(编辑)。斯普林格·弗拉格,375-398。内政部:http://dx.doi.org/10.1007/978-3642-60085-2 ·doi:10.1007/978-3-642-60085-2
[62] Wiktor Marek和Mirosław Truszczyń滑雪。1991.计算自认知扩张的交集。在《第一届逻辑编程和非单调推理国际会议论文集》(LPNMR’91)中,Anil Nerode、V.Wiktor Marek和V.S.Subrahmanian(编辑)。麻省理工学院出版社,37-50。
[63] 罗尔夫·尼德迈尔。2006.固定参数算法邀请函。牛津数学及其应用系列讲座,第31卷。牛津大学出版社,纽约州纽约市·Zbl 1095.68038号 ·doi:10.1093/acprof:oso/9780198566076.0001
[64] 伊尔卡·尼梅尔ä。1999.将稳定模型语义作为约束编程范式的逻辑程序。数学与人工智能年鉴25,3,241-273。内政部:http://dx.doi.org/10.1023/A:1018930122475 ·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[65] 内奥米·西村(Naomi Nishimura)、普拉巴卡尔·拉格德(Prabhakar Ragde)和斯特凡·谢德(Stefan Szeider)。2004.检测有关horn和二进制子句的后门集合。《第七届可满足性测试理论与应用国际会议论文集》(SAT’04)(计算机科学讲稿),霍尔格·H·胡斯和大卫·G·米切尔(编辑),第3542卷。施普林格·弗拉格,96–103。
[66] 克里斯托斯·帕帕迪米特里奥。1994.计算复杂性。艾迪森·韦斯利·Zbl 0833.68049号
[67] Andreas Pfandler,Stefan Rü梅尔和斯特凡·塞德。2013.绑架后门。在第23届国际人工智能联合会议(IJCAI’13)的会议记录中,Francesca Rossi(编辑)。AAAI出版社,1046-1052。
[68] 帕特里克·西蒙斯,伊尔卡·尼梅尔;,和蒂莫·索尼宁。2002.扩展和实现稳定模型语义。人工智能138,1–2,181–234。内政部:http://dx.doi.org/10.1016/S0004-3702(02)00187-X·Zbl 0995.68021号 ·doi:10.1016/S0004-3702(02)00187-X
[69] Larry J.Stockmeyer和Albert R.Meyer。1973.需要指数时间的单词问题。Alfred V.Aho、Allan Borodin、Robert L.Constable、Robert W.Floyd、Michael A.Harrison、Richard M.Karp和H.Raymond Strong(编辑)在第五届美国计算机学会计算理论年度研讨会(STOC’73)上发表。ACM,纽约,1-9。内政部:http://dx.doi.org/10.1145/800125.804029 ·doi:10.1145/800125.804029
[70] Son Thanh To、Enrico Pontelli和Tran Cao Son。2009.信念状态显式析取表示的一致规划师。在第19届国际自动规划与调度会议(ICAPS’09)的会议记录中,阿方索·杰列维尼(Alfonso Gerevini)、阿德勒·E·豪(Adele E.Howe)、阿梅迪奥·塞斯塔(Amedeo Cesta)和约安尼斯·雷法尼迪斯(Ioannis Refanidis)(编辑)。AAAI出版社,305-312。
[71] Mirosław Truszczyń滑雪。2011年。三分法和二分法导致了选言逻辑程序推理的复杂性。逻辑程序设计理论与实践11(2011),881-904。第06期。内政部:http://dx.doi.org/10.1017/S1471068410000463 ·Zbl 1242.68052号 ·网址:10.1017/S1471068410000463
[72] G.S.谢廷。关于命题演算中推导的复杂性。Zapiski Nauchnykh Seminarov Leningrad Otdelenie研讨会。Matematicheskiǐ国际研究所。V.A.Steklova(LOMI)Akad公司。诺克SSSR 8,23–41。内政部:http://dx.doi.org/10.1007/978-3642-81955-1_28俄语。J.Siekmann和G.Wrightson(Eds.)《推理自动化2:计算逻辑经典论文》(Automation of Reasoning 2:Classical Papers on Computational Logic 1967–1970)的英文翻译,Springer-Verlag,466–4831983·doi:10.1007/978-3642-81955-128
[73] M.H.Van Emden和Robert。A.科瓦尔斯基。1976.谓词逻辑作为编程语言的语义。ACM杂志23,4(1976年10月),733–742。内政部:http://dx.doi.org/10.1145/321978.321991 ·Zbl 0339.68004号 ·数字对象标识代码:10.1145/321978.321991
[74] 莫舍·瓦尔迪(Moshe Y.Vardi)。2010年,关于P、NP和计算复杂性。ACM通信53、11、5。内政部:http://dx.doi.org/10.1145/1839676.1839677 ·doi:10.145/1839676.1839677
[75] 瑞安·威廉姆斯、卡拉·戈麦斯和巴特·塞尔曼。2003年a。典型案例复杂性的后门。在第18届国际人工智能联合会议(IJCAI’03)的会议记录中,Georg Gottlob和Toby Walsh(编辑)。摩根·考夫曼(Morgan Kaufmann),1173-1178年。
[76] 瑞恩·威廉姆斯(Ryan Williams)、卡拉·戈麦斯(Carla Gomes)和巴特·塞尔曼(Bart Selman)。2003年b。关于组合搜索中后门、重启和重尾之间的联系。在第六届可满足性测试理论与应用国际会议(SAT’03)的非正式会议记录中。222–230.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。