Login / Signup
Presburger Arithmetic with algebraic scalar multiplications.
Philipp Hieronymi
Danny Nguyen
Igor Pak
Published in:
CoRR (2018)
Keyphrases
</>
presburger arithmetic
algebraic structure
quantifier elimination
numerical analysis
decision procedures
vector space
constraint propagation
probability theory
databases
artificial intelligence
first order logic
integrity constraints
cardinality constraints