HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Michael Rawson

Publications
A Multithreaded Vampire with Shared Persistent Grounding
Michael Rawson and Giles Reger
EasyChair Preprint no. 5855
Automated Theorem Proving, Fast and Slow
Michael Rawson and Giles Reger
EasyChair Preprint no. 4433
lazyCoP 0.1
Michael Rawson and Giles Reger
EasyChair Preprint no. 3926
Directed Graph Networks for Logical Entailment
Michael Rawson and Giles Reger
EasyChair Preprint no. 2185

Keyphrases

asynchronous-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.

Copyright © 2012-2022 easychair.org. All rights reserved.