Integer Linear-Exponential Programming in NP by Quantifier Elimination.

Dmitry Chistikov Alessio Mansutti Mikhail R. Starchak

Published in: ICALP (2024)

Keyphrases

quantifier elimination
constraint query languages
functional programming
constraint databases
constraint propagation
programming language
presburger arithmetic
cardinality constraints
first order logic
boolean algebra
computational complexity
np complete
object oriented programming
np hard
execution model