Affiliation:
1. Department of Philosophy, Argonne National Laboratory and Rice University
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Peano: learning formal mathematical reasoning;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-06-05
2. Fully reusing clause deduction algorithm based on standard contradiction separation rule;Information Sciences;2023-04
3. Chapter 1. A History of Satisfiability;Frontiers in Artificial Intelligence and Applications;2021-02-02
4. Sorting Parity Encodings by Reusing Variables;Theory and Applications of Satisfiability Testing – SAT 2020;2020
5. First Order Predicate Logic;Fundamentals of Artificial Intelligence;2020