|
Author:Michael RawsonPublications |
---|
EasyChair Preprint no. 5855 | EasyChair Preprint no. 4433 | EasyChair Preprint no. 3926 | EasyChair Preprint no. 2185 |
Keyphrasesasynchronous-policy, automated reasoning, automated theorem proving, clause splitting, connection calculus, Connection tableaux, data race, directed acyclic graph, first-order, first-order logic, first-order theorem prover, Graph Neural Network, grounding mechanism, heuristic search, learned-guidance, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof search2, SAT solver, saturation-based theorem prover, shared memory, shared persistent grounding, theorem prover, thread local, Thread Local Storage. |
|
|