Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference11 articles.
1. An average time analysis of backtracking;Brown;SIAM J. Comput.,1981
2. Probabilistic Analysis and Performance Measurement of Algorithms for the Satisfiability Problem;Chao,1984
3. Probabilistic analysis of two heuristics for the 3-satisfiability problem;Chao;SIAM J. Comput.,1986
4. A computing procedure for quantification theory;Davis;J. Assoc. Comput. Mach.,1960
5. Probabilistic Methods in Combinatorics;Erdos,1974
Cited by
88 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantum hybrid algorithm for solving SAT problem;Engineering Applications of Artificial Intelligence;2023-05
2. The Algorithmic Phase Transition of Random k-SAT for Low Degree Polynomials;2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS);2022-02
3. Chapter 22. Connections to Statistical Physics;Frontiers in Artificial Intelligence and Applications;2021-02-02
4. Chapter 10. Random Satisfiabiliy;Frontiers in Artificial Intelligence and Applications;2021-02-02
5. Chapter 1. A History of Satisfiability;Frontiers in Artificial Intelligence and Applications;2021-02-02