Martin Brain
University of Oxford
H-index: 21
Europe-United Kingdom
Top articles of Martin Brain
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials | A Gàmez Montolio E Florit M Brain J Howe | 2024/3/4 | |
Widening for Systems of Two Variables Per Inequality | Martin Brain Jacob M Howe | 2023 | |
cvc5: A versatile and industrial-strength SMT solver | Haniel Barbosa Clark Barrett Martin Brain Gereon Kremer Hanna Lachnitt | 2022 | |
CVC5 at the SMT Competition 2022 | Haniel Barbosa Clark Barrett Martin Brain Gereon Kremer Hanna Lachnitt | 2022 | |
Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation | Martin Brain Carlos Cid Rachel Player Wrenna Robson | 2022/5/29 | |
Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication. | Martin Brain | 2021 |