معرفی
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
۰مقاله منتشرشده
Martin Bromberger در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- AAndrew Joseph ReynoldsUniversity of Iowa · پژوهشگر
- KKonstantin KorovinMax Planck Institute for Informatics · استاد
Christoph WeidenbachMax Planck Institute for Informatics · استاد مدعو- JJasmin BlanchetteLudwig Maximilian University of Munich · استاد
Nikolaj BjørnerMax Planck Institute for Software Systems · پژوهشگر
Jasmin BlanchetteInria · استاد