Verification Of Partial Quantifier Elimination.

Eugene Goldberg

Published in: CoRR (2023)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
constraint databases
cardinality constraints
first order logic
model checking
knowledge base
database systems
computational complexity
linear programming