Articles with public access mandates - Martin BrainLearn more
Available somewhere: 8
cvc5: A versatile and industrial-strength SMT solver
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ...
International Conference on Tools and Algorithms for the Construction and …, 2022
Mandates: US National Science Foundation, US Department of Defense, US National …
An automatable formal semantics for IEEE-754 floating-point arithmetic
M Brain, C Tinelli, P Rümmer, T Wahl
2015 IEEE 22nd Symposium on Computer Arithmetic, 160-167, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Deciding floating-point logic with abstract conflict driven clause learning
M Brain, V D’silva, A Griggio, L Haller, D Kroening
Formal Methods in System Design 45 (2), 213-245, 2014
Mandates: UK Engineering and Physical Sciences Research Council
: Satisfiability Checking Meets Symbolic Computation: (Project Paper)
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
International Conference on Intelligent Computer Mathematics, 28-43, 2016
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Benchmarking Solvers, SAT-style.
M Brain, JH Davenport, A Griggio
SC²@ ISSAC, 2017
Mandates: European Commission
Satisfiability checking and symbolic computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
ACM Communications in Computer Algebra 50 (4), 145-147, 2017
Mandates: European Commission
Model and proof generation for heap-manipulating programs
M Brain, C David, D Kroening, P Schrammel
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Invertibility conditions for floating-point formulas
M Brain, A Niemetz, M Preiner, A Reynolds, C Barrett, C Tinelli
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Mandates: US National Science Foundation, US Department of Defense
Publication and funding information is determined automatically by a computer program