Michael Rawson

According to our database, Michael Rawson authored at least 21 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model.

Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson

IACR Cryptol. ePrint Arch., 2024

Scaling Game-Theoretic Security Reasoning.

Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson

CoRR, 2024

Rewriting and Inductive Reasoning.

Márton Hajdú, Laura Kovács, Michael Rawson

CoRR, 2024

Spanning Matrices via Satisfiability Solving.

Clemens Eisenhofer, Michael Rawson, Laura Kovács

CoRR, 2024

2023

Lemmas: Generation, Selection, Application.

Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Non-Classical Logics in Satisfiability Modulo Theories.

Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

CheckMate: Automated Game-Theoretic Security Reasoning.

Lea Salome Brugger, Laura Kovács, Anja Petkovic Komel, Sophie Rain, Michael Rawson

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

SAT-Based Subsumption Resolution.

Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath

Proceedings of the Automated Deduction - CADE 29, 2023

Superposition with Delayed Unification.

Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson

Proceedings of the Automated Deduction - CADE 29, 2023

Embedding the Connection Calculus in Satisfiability Modulo Theories.

Clemens Eisenhofer, Laura Kovács, Michael Rawson

Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 2023

2022

Reuse of Introduced Symbols in Automatic Theorem Provers (short paper).

Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

The Vampire Approach to Induction (short paper).

Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

The Rapid Software Verification Framework.

Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Eliminating Models During Model Elimination.

Michael Rawson, Giles Reger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

lazyCoP: Lazy Paramodulation Meets Neurally Guided Search.

Michael Rawson, Giles Reger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

A Multithreaded Vampire with Shared Persistent Grounding.

Michael Rawson, Giles Reger

Proceedings of the Formal Methods in Computer Aided Design, 2021

On Evaluating Theorem Provers.

Michael Rawson, Giles Reger

Proceedings of the Third International Workshop on Automated Reasoning: Challenges, 2021

2020

Directed Graph Networks for Logical Reasoning (Extended Abstract).

Michael Rawson, Giles Reger

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

2019

A Neurally-Guided, Parallel Theorem Prover.

Michael Rawson, Giles Reger

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

Michael Rawson, Giles Reger

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Dynamic Strategy Priority: Empower the Strong and Abandon the Weak.

Michael Rawson, Giles Reger

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018