Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Further improvements for SAT in terms of formula length;Information and Computation;2023-10
2. Further Improvements for Sat in Terms of Formula Length;SSRN Electronic Journal;2022
3. An improved upper bound for SAT;Theoretical Computer Science;2021-10
4. Chapter 16. Worst-Case Upper Bounds;Frontiers in Artificial Intelligence and Applications;2021-02-02
5. Chapter 14. Minimal Unsatisfiability and Autarkies;Frontiers in Artificial Intelligence and Applications;2021-02-02