Author:Michael Rawson

Publications
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

Keyphrases

asynchronous-policy, automated reasoning3, automated theorem proving, blockchain protocols, 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-theoretic security, game theory, Graph Neural Network, grounding mechanism, heuristic search, incentive compatibility, induction2, learned-guidance, linear resolution, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof search2, protocol verification, Reducibility constraints, redundancy, rewriting, SAT solver, saturation3, saturation-based theorem prover, Secure Protocols, security analysis, shared memory, shared persistent grounding, superposition3, theorem prover, thread local, Thread Local Storage.