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:
2015
201620182019Wrote 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.