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 |
Keyphrasesasynchronous-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. |
|