BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bromberger:Martin

Contributed to:

CADE 20152015
IJCAR 20162016
IJCAR 20182018
CADE 20192019

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.
SPASS-SATT - A CDCL(LA) Solver (MB, MF, SS, CW), pp. 111–122.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.