Login / Signup

Parametric Presburger arithmetic: complexity of counting and quantifier elimination.

Tristram BogartJohn GoodrickDanny NguyenKevin 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