Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: QBF Resolution Systems and Their Proof Complexities
An Extensible SAT-solver
Higher-order automated theorem proving
View-based query processing and constraint satisfaction
Learning how to Prove: From the Coq Proof Assistant to Textbook Style
FO Model Checking on Posets of Bounded Width
A language-independent proof system for full program equivalence
Planning as Satisfiability: Heuristics
Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
Compiling probabilistic logic programs into sentential decision diagrams
Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
Approximation Strategies for Incomplete MaxSAT
Answer set programming at a glance
A lightweight component caching scheme for satisfiability solvers
Some simplified NP-complete problems
Reinforcement Learning of Theorem Proving
How To Solve Moral Conundrums with Computability Theory
On the Completeness of Propositional Hoare Logic
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case
On the Implementation of GNU Prolog
Deep Network Guided Proof Search
Real-time vital signs monitoring and interpretation system for early detection of multiple physical signs in older adults
Toad Glandular Secretions and Skin Extractions as Anti-Inflammatory and Anticancer Agents
To belong or not to belong, that is the question: Terror management and identification with gender and ethnicity
Modeling and Analysis of State-of-the-art VM-based Cloud Management Platforms
New Techniques that Improve MACE-style Finite Model Finding