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:
CoRR (2017)
Keyphrases
</>
simple linear
integer arithmetic
pairwise
computer vision
machine learning
feature selection
feature extraction
distance measure
hyperplane