Login / Signup
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic.
Matthias Horbach
Marco Voigt
Christoph Weidenbach
Published in:
CADE (2017)
Keyphrases
</>
simple linear
integer arithmetic
pairwise
multi class
hyperplane
data sets