Integer Linear-Exponential Programming in NP by Quantifier Elimination.

Dmitry Chistikov Alessio Mansutti Mikhail R. Starchak

Published in: CoRR (2024)

Keyphrases

quantifier elimination
constraint query languages
functional programming
constraint databases
programming language
constraint propagation
cardinality constraints
first order logic
expressive power
presburger arithmetic
boolean algebra
computational complexity
np complete
machine learning
lower bound
np hard