On Efficient Algorithms For Partial Quantifier Elimination.

Eugene Goldberg

Published in: CoRR (2024)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
first order logic
constraint databases
cardinality constraints
machine learning
linear constraints
high level
boolean algebra