Author:Michael Rawson

Publications
EasyChair Preprint no. 12142
EasyChair Preprint no. 10853
EasyChair Preprint no. 9423
EasyChair Preprint no. 9217
EasyChair Preprint no. 5855
EasyChair Preprint no. 4433
EasyChair Preprint no. 3926
EasyChair Preprint no. 2185

Keyphrases

asynchronous-policy, automated reasoning2, automated theorem proving, Boolean satisfiability, clause splitting2, connection calculus, Connection tableaux, data race, Decentralized Protocols, directed acyclic graph, first-order, first-order logic, first-order theorem prover, first-order theorem proving, game theory, 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, Reducibility constraints, redundancy, SAT solver, saturation2, saturation-based theorem prover, Secure Protocols, security analysis, shared memory, shared persistent grounding, superposition2, theorem prover, thread local, Thread Local Storage.