Login / Signup
Computing a Complete Basis for Equalities Implied by a System of LRA Constraints.
Martin Bromberger
Christoph Weidenbach
Published in:
SMT@IJCAR (2016)
Keyphrases
</>
linear inequalities
linear constraints
machine learning
data sets
geometric constraints
consistency checking
evolutionary algorithm
special case
starting point
constrained optimization