Follow
Martin Brain
Martin Brain
City, University of London
Verified email at city.ac.uk
Title
Cited by
Cited by
Year
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
2902022
Debugging Logic Programs under the Answer Set Semantics.
M Brain, M De Vos
Answer Set Programming, 2005
882005
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
782015
Safety Verification and Refutation by k-Invariants and k-Induction
M Brain, S Joshi, D Kroening, P Schrammel
International Static Analysis Symposium, 145-161, 2015
762015
Debugging ASP programs by means of ASP
M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran
International Conference on Logic Programming and Nonmonotonic Reasoning, 31-43, 2007
762007
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
752014
Deciding floating-point logic with systematic abstraction
L Haller, A Griggio, M Brain, D Kroening
FMCAD, 2012
722012
Automatic composition of melodic and harmonic music by answer set programming
G Boenn, M Brain, M De Vos, J Ffitch
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
522008
: 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
512016
A new-generation automated warehousing capability
Q Wang, R McIntosh, M Brain
International Journal of Computer Integrated Manufacturing 23 (6), 565-573, 2010
512010
Automatic music composition using answer set programming
G Boenn, M Brain, M De Vos, J Ffitch
Theory and practice of logic programming 11 (2-3), 397-427, 2011
482011
TOAST: Applying answer set programming to superoptimisation
M Brain, T Crick, M De Vos, J Fitch
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006
452006
ASPVIZ: Declarative visualisation and animation using answer set programming
O Cliffe, M De Vos, M Brain, J Padget
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
402008
Incremental bounded model checking for embedded software
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
Formal Aspects of Computing 29, 911-931, 2017
362017
That is illogical captain! The debugging support tool spock for answer-set programs: system description
M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran
Proceedings of the Workshop on Software Engineering for Answer Set …, 2007
362007
Ape: An ansprolog* environment
A Sureshkumar, M De Vos, M Brain, J Fitch
Proc. SEA 7, 101-115, 2007
352007
Building better bit-blasting for floating-point problems
M Brain, F Schanda, Y Sun
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
332019
LAIMA: A multi-agent platform using ordered choice logic programming
M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham
Declarative Agent Languages and Technologies III: Third International …, 2006
292006
Successful use of incremental BMC in the automotive industry
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015
282015
Interpolation-based verification of floating-point programs with abstract CDCL
M Brain, V D’Silva, A Griggio, L Haller, D Kroening
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
262013
The system can't perform the operation now. Try again later.
Articles 1–20