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



  • A Complete and Terminating Approach to Linear Integer Solving, Martin Bromberger, Thomas Sturm, and Christoph Weidenbach. Accepted for publication in the SC-Square Special Issue of the Journal of Symbolic Computation (JSC)