Login / Signup
Parametric Presburger arithmetic: complexity of counting and quantifier elimination.
Tristram Bogart
John Goodrick
Danny Nguyen
Kevin Woods
Published in:
Math. Log. Q. (2019)
Keyphrases
</>
quantifier elimination
presburger arithmetic
constraint propagation
functional programming
constraint databases
cardinality constraints
first order logic
algebraic structure
databases
database