`Travelled to:`

1 × Germany

`Collaborated with:`

C.Weidenbach ∅ T.Sturm M.Fleury S.Schwarz

`Talks about:`

arithmet (2) problem (2) linear (2) constraint (1) unbound (1) revisit (1) solver (1) reduct (1) spass (1) integ (1)

## Person: Martin Bromberger

### DBLP: Bromberger:Martin

### Contributed to:

### Wrote 4 papers:

- CADE-2015-Bromberger0W #integer #linear #revisited
- Linear Integer Arithmetic Revisited (MB, TS, CW), pp. 623–637.
- IJCAR-2016-BrombergerW #constraints #performance #testing #theorem proving
- Fast Cube Tests for LIA Constraint Solving (MB, CW), pp. 116–132.
- IJCAR-2018-Bromberger #bound #linear #problem #reduction
- A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems (MB), pp. 329–345.
- CADE-2019-BrombergerFSW
- SPASS-SATT - A CDCL(LA) Solver (MB, MF, SS, CW), pp. 111–122.