Author:
Mull Nathan,Pang Shuo,Razborov Alexander
Publisher
Springer International Publishing
Reference20 articles.
1. Aloul, F.A., Markov, I.L., Sakallah, K.A.: MINCE: a static global variable-ordering for SAT and BDD. In: International Workshop on Logic and Synthesis, pp. 1167–1172 (2001)
2. Aloul, F.A., Markov, I.L., Sakallah, K.A.: FORCE: a fast & easy-to-implement variable-ordering heuristic. In: Proceedings of the 13th ACM Great Lakes Symposium on VLSI, pp. 116–119. ACM (2003)
3. Atserias, A., Fichte, J.K., Thurley, M.: Clause-learning algorithms with many restarts and bounded-width resolution. J. Artif. Intell. Res. 40, 353–373 (2011)
4. Beame, P., Karp, R., Pitassi, T., Saks, M.: The efficiency of resolution and Davis-Putnam procedures. SIAM J. Comput. 31(4), 1048–1075 (2002)
5. Beame, P., Kautz, H., Sabharwal, A.: Towards understanding and harnessing the potential of clause learning. J. Artif. Intell. Res. 22, 319–351 (2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On CDCL-Based Proof Systems with the Ordered Decision Strategy;SIAM Journal on Computing;2022-08
2. Chapter 7. Proof Complexity and SAT Solving;Frontiers in Artificial Intelligence and Applications;2021-02-02
3. On CDCL-Based Proof Systems with the Ordered Decision Strategy;Theory and Applications of Satisfiability Testing – SAT 2020;2020