Author:Michael Rawson

Publications
Linear Refutation and Clause Splitting Michael Rawson EasyChair Preprint no. 9423
The Vampire Approach to Induction Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint no. 9217
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, Boolean satisfiability, clause splitting², connection calculus, Connection tableaux, data race, directed acyclic graph, first-order, first-order logic, first-order theorem prover, first-order theorem proving, Graph Neural Network, grounding mechanism, heuristic search, induction, learned-guidance, linear resolution, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof search², SAT solver, saturation, saturation-based theorem prover, shared memory, shared persistent grounding, superposition, theorem prover, thread local, Thread Local Storage.