The complexity of Presburger arithmetic with power or powers.

Michael Benedikt Dmitry Chistikov Alessio Mansutti

Published in: CoRR (2023)

Keyphrases

presburger arithmetic
quantifier elimination
search algorithm
np hard
knowledge representation
software engineering
algebraic structure