Segui
Michael Rawson
Michael Rawson
University of Southampton
Email verificata su rawsons.uk - Home page
Titolo
Citata da
Citata da
Anno
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search
M Rawson, G Reger
Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021
25*2021
A neurally-guided, parallel theorem prover
M Rawson, G Reger
Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019 …, 2019
232019
Directed graph networks for logical reasoning
M Rawson, G Reger
PAAR+ SC²@ IJCAR, 109-119, 2020
18*2020
Dynamic strategy priority: Empower the strong and abandon the weak
M Rawson, G Reger
AITP 2018, 2018
172018
Old or heavy? Decaying gracefully with age/weight shapes
M Rawson, G Reger
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
162019
Vampire
A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ...
152018
Lemmas: Generation, selection, application
M Rawson, C Wernhard, Z Zombori, W Bibel
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
82023
Eliminating models during model elimination
M Rawson, G Reger
Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021
72021
lazyCoP 0.1
M Rawson, G Reger
EasyChair Preprint, 2020
62020
SAT-Based Subsumption Resolution
R Coutelier, L Kovács, M Rawson, J Rath
International Conference on Automated Deduction, 190-206, 2023
52023
The Rapid Software Verification Framework.
P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger
FMCAD, 255-260, 2022
52022
Vampire 4.7-SMT System Description
G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ...
52022
Reinforced external guidance for theorem provers
M Rawson, A Bhayat, G Reger
7th Workshop Practical Aspects Automated Reasoning, 2020
5*2020
Superposition with delayed unification
A Bhayat, J Schoisswohl, M Rawson
International Conference on Automated Deduction, 23-40, 2023
42023
CheckMate: Automated Game-Theoretic Security Reasoning
LS Brugger, L Kovács, A Petkovic Komel, S Rain, M Rawson
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
32023
Non-Classical Logics in Satisfiability Modulo Theories
C Eisenhofer, R Alassaf, M Rawson, L Kovács
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
32023
The Vampire Approach to Induction
M Hajdu, L Kovacs, M Rawson, A Voronkov
Practical Aspects of Automated Reasoning 2022 3201, 2022
32022
A Multithreaded Vampire with Shared Persistent Grounding
M Rawson, G Reger
FMCAD, 280-284, 2021
32021
Applications of machine learning to automated reasoning
M Rawson
PQDT-Global, 2021
32021
SAT solving for variants of first-order subsumption
R Coutelier, J Rath, M Rawson, A Biere, L Kovács
Formal Methods in System Design, 1-44, 2024
22024
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20