Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search
Author:
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Link
http://link.springer.com/content/pdf/10.1007/s10472-014-9407-9.pdf
Reference61 articles.
1. Aspvall, B.: Recognizing disguised NR(1) instances of the satisfiability problem. J. Algoritm. 1(1), 97–103 (1980)
2. Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear-time algorithm for testing the truth of certain quantified boolean formulas. Inf. Process. Lett. 8(3), 121–123 (1979)
3. Beame, P., Kautz, H., Sabharwal, A.: Understanding and harnessing the potential of clause learning. JAIR: J. Artif. Intell. Res. 22, 319–351 (2004)
4. Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: DAC-99: 36th Design Automation Conference, pp. 317–320 (1999)
5. Brockington, M., Culberson, J. C.: Camouflaging independent sets in quasi-random graphs. In: Johnson, D.S., Trick, M.A. (eds.) Cliques, Coloring and Satisfiability: The Second DIMACS Implementation Challenge, volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp. 75–88. American Mathematical Society (1996)
Cited by 8 articles. 订阅此论文施引文献 订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT;2024 IEEE Congress on Evolutionary Computation (CEC);2024-06-30
2. The opacity of backbones;Information and Computation;2021-12
3. Existence versus exploitation: the opacity of backdoors and backbones;Progress in Artificial Intelligence;2021-03-13
4. Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption;SOFSEM 2019: Theory and Practice of Computer Science;2019
5. Learning-Sensitive Backdoors with Restarts;Lecture Notes in Computer Science;2018
1.学者识别学者识别
2.学术分析学术分析
3.人才评估人才评估
"同舟云学术"是以全球学者为主线，采集、加工和组织学术论文而形成的新型学术文献查询和分析系统，可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容，当前同舟云学术共收录了国内外主流学术期刊6万余种，收集的期刊论文及会议论文总量共计约1.5亿篇，并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询！咨询电话：010-8811{复制后删除}0370
www.globalauthorid.com
TOP
Copyright © 2019-2024 北京同舟云网络信息技术有限公司 京公网安备11010802033243号 京ICP备18003416号-3