About
Dr. Martin Bromberger is a Senior Researcher at the Max Planck Institute for Informatics, specializing in Automated Reasoning, Linear Arithmetic, and Theorem Proving. He is affiliated with the Automation of Logic research group (RG1), focusing on combinations of theories and arithmetic reasoning.
His recent work includes publications at top venues like TACAS, FroCoS, and VMCAI. He has developed critical SMT solvers such as SPASS-IQ and SPASS-SATT, advancing constraint-solving techniques in linear arithmetic.
His research spans
- Arithmetic Decision Procedures
- Datalog Applications
- Bernays-Schoenfinkel Fragment
- Cube-Based Arithmetic Optimization
0Publications listed
Find Martin Bromberger elsewhere
Related Searches
You Might Also Like
- AAndrew Joseph ReynoldsUniversity of Iowa · Researcher
- KKonstantin KorovinMax Planck Institute for Informatics · Professor
Christoph WeidenbachMax Planck Institute for Informatics · Adjunct Professor- JJasmin BlanchetteLudwig Maximilian University of Munich · Professor
Nikolaj BjørnerMax Planck Institute for Software Systems · Researcher
Jasmin BlanchetteInria · Professor