Login / Signup

Short Presburger Arithmetic Is Hard.

Danny NguyenIgor Pak
Published in: SIAM J. Comput. (2022)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • algebraic structure
  • decision procedures
  • functional programming
  • cardinality constraints
  • artificial intelligence
  • conceptual model