×
比斯特拉·迪尔基纳;卡拉·P·戈麦斯。;阿什什·萨巴沃尔

学习背景下的后门。 （英语） Zbl 1247.68250号

Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，73-79（2009）。
摘要：后门变量的概念作为组合问题的一种结构属性被引入，它提供了对现代可满足性（SAT）解算器处理超大实例的惊人能力的洞察力。然而，这个概念对于搜索过程中的“学习”是不可忽视的——这是SAT、混合整数编程（MIP）等成功组合推理引擎的一个关键特征。我们将后门的概念扩展到搜索过程中学习的上下文中。我们证明了考虑子句学习和分支的顺序敏感性的SAT最小后门可以比“传统”后门小得多。我们还实证研究了学习的效果。
关于整个系列，请参见[Zbl 1165.68014号].

引用于4文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68T05型 人工智能中的学习和自适应系统
68吨15 定理证明（演绎、解析等）（MSC2010）

软件：

SATLIB公司;查夫
PDF格式BibTeX公司 XML格式引用
\textit{B.Dilkina}等人，莱克特。注释计算。科学。5584、73--79（2009年；Zbl 1247.68250）
全文： 内政部

参考文献：

[1] Dilkina，B.，Gomes，C.P.，Malitsky，Y.，Sabharwal，A.，Sellmann，M.：组合优化的后门：可行性和最优性。In:CPAIOR（2009）·兹比尔1241.68099
[2] Dilkina，B.，Gomes，C.P.，Sabharwal，A.：后门检测复杂性的权衡。收录：Bessière，C.（编辑）CP 2007。LNCS，第4741卷，第256-270页。斯普林格，海德堡（2007）·Zbl 1145.68511号 ·数字对象标识代码：10.1007/978-3-540-74970-7_20
[3] Dilkina，B.，Gomes，C.P.，Sabharwal，A.：学习背景下的后门（扩展版）。康奈尔大学计算与信息科学技术报告（2009年4月），http://hdl.handle.net/1813/12231 ·Zbl 1357.68205号
[4] Gomes，C.P.，Selman，B.，Kautz，H.：通过随机化推进组合搜索。收录于：AAAI，第431-437页（1998年）
[5] Hoos，H.H.，Stützle，T.：SATLIB：SAT研究的在线资源。In：SAT，pp.283-292（2000），网址：http://www.satlib.org ·Zbl 0979.68128号
[6] Kilby，P.、Slaney，J.K.、Thiébaux，S.、Walsh，T.：可满足性的主干和后门。收录于：AAAI，第1368–1373页（2005年）
[7] Kullmann，O.：研究基于短树状分辨率证明的多项式可判定类的一般层次结构。In:ECCC，第41卷（1999）
[8] Kullmann，O.：广义解析和广义约束满足问题复杂性的上下限。《数学与人工智能年鉴》40（3-4），303–352（2004）·Zbl 1081.68032号 ·doi:10.1023/B:AMAI.0000012871.08577.0b
[9] Li，C.M.，Anbulagan：基于单位传播的可满足性问题启发式。收录于：IJCAI，第366–371页（1997年）
[10] Moskewicz，M.W.，Madigan，C.F.，Zhao，Y.，Zhang，L.，Malik，S.：Chaff：设计一个高效的SAT求解器。摘自：DAC，第530-535页（2001年）·数字对象标识代码：10.1145/378239.379017
[11] Nishimura，N.，Ragde，P.，Szeider，S.：检测Horn和二进制子句的后门集合。摘自：SAT，第96-103页（2004年）
[12] Paris，L.，Ostrowski，R.，Siegel，P.，Sais，L.:通过本地搜索计算Horn强大的后门集合。收录于：ICTAI，第139-143页（2006年）·doi:10.1109/ICTAI.2006.43
[13] Pipatsrisawat，K.，Darwiche，A.：用于可满足性求解器的轻量级组件缓存方案。摘自：SAT，第294–299页（2007年）·doi:10.1007/978-3-540-72788-0_28
[14] Samer，M.，Szeider，S.：后门树。收录于：AAAI，第363–368页（2008年）
[15] Szeider，S.：DLL次溶器的后门装置。J.汽车。推理。35（1-3），73–88（2005）·Zbl 1109.68105号 ·doi:10.1007/s10817-005-9007-9
[16] Williams，R.、Gomes，C.、Selman，B.：典型案例复杂性的后门。收录于：IJCAI，第1173-1178页（2003年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。