Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination.
Tristram BogartJohn GoodrickDanny NguyenKevin WoodsPublished in: CoRR (2018)
Keyphrases
- quantifier elimination
- presburger arithmetic
- constraint propagation
- constraint databases
- cardinality constraints
- functional programming
- first order logic
- algebraic structure
- computational complexity
- decision procedures
- programming language
- linear programming
- logic programs
- np complete
- expressive power
- constraint satisfaction