HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 splitting2, 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 search2, SAT solver, saturation, saturation-based theorem prover, shared memory, shared persistent grounding, superposition, theorem prover, thread local, Thread Local Storage.

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