Author:Michael RawsonPublications 

   EasyChair Preprint 12142  EasyChair Preprint 10853  EasyChair Preprint 9423  EasyChair Preprint 9217  EasyChair Preprint 5855  EasyChair Preprint 4433  EasyChair Preprint 4433  EasyChair Preprint 4433  EasyChair Preprint 3926  EasyChair Preprint 2185  EasyChair Preprint 2185  EasyChair Preprint 2185  EasyChair Preprint 2185 
Keyphrasesasynchronouspolicy, automated reasoning^{3}, automated theorem proving, blockchain protocols, Boolean satisfiability, clause splitting^{2}, connection calculus, Connection tableaux, data race, Decentralized Protocols, directed acyclic graph, firstorder, firstorder logic, firstorder theorem prover, firstorder theorem proving, Gametheoretic security, game theory, Graph Neural Network, grounding mechanism, heuristic search, incentive compatibility, induction^{2}, learnedguidance, linear resolution, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof search^{2}, protocol verification, Reducibility constraints, redundancy, rewriting, SAT solver, saturation^{3}, saturationbased theorem prover, Secure Protocols, security analysis, shared memory, shared persistent grounding, superposition^{3}, theorem prover, thread local, Thread Local Storage. 
