Quantifier Elimination for Normal Cone Computations.

Michael Mandlmayr Ali Kemal Uncu

Published in: CoRR (2024)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
cardinality constraints
constraint databases
first order logic
artificial intelligence
database systems
query optimization