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

mbromber@mpi-inf.mpg.de

 

Physical address: building E1 5, room 634

Personal Information

Research Interests

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

Academic Activities

Teaching

Recent Positions

Education

Publications

  • 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 link.springer.com

     

  • 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.