Affiliation:
1. Aiken Computation Laboratory, Harvard University, Cambridge, MA
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference2 articles.
1. CooK S A The complexity of theorem-proving procedures Proc Third Annual ACM Symp on Theory of Comptng 1971 pp 151-158 10.1145/800157.805047 CooK S A The complexity of theorem-proving procedures Proc Third Annual ACM Symp on Theory of Comptng 1971 pp 151-158 10.1145/800157.805047
2. Unit Refutations and Horn Sets
Cited by
89 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Backdoor DNFs;Journal of Computer and System Sciences;2024-09
2. Hyperproperty Verification as CHC Satisfiability;Lecture Notes in Computer Science;2024
3. Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas;Annals of Mathematics and Artificial Intelligence;2021-06-29
4. Chapter 17. Fixed-Parameter Tractability;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