Martin Bromberger

Doctoral researcher for
Arithmetic Reasoning


Max-Planck-Institut für Informatik
Campus E1 4
66123 Saarbrücken

+49 681 9325-2922, fax -2999


Physical address: building E1 5, room 634

Personal Information

Research Interests

  • (Linear) Arithmetic Decision Procedures
  • Theorem Proving
  • Combination of Theories
  • Parsing

Academic Activities


Recent Positions



  • Fast Cube Tests for LIA Constraint Solving, Martin Bromberger, and Christoph Weidenbach. In N. Olivetti and A. Tiwari (eds.) 8th International Joint Conference on Automated Reasoning (IJCAR 2016), Springer, 2016.


    Author's version (PDF); The final publication will be available at


  • Linear Integer Arithmetic Revisited, Martin Bromberger, Thomas Sturm, and Christoph Weidenbach. In A. P. Felty and A. Middeldorp (eds.) The 25th International Conference on Automated Deduction (CADE-25), volume 9195 of LNCS, pages 623–637. Springer, 2015.