Quantifier Elimination: Optimal Solution for Two Classical Examples.

Published in: J. Symb. Comput. (1988)

Keyphrases

quantifier elimination
optimal solution
presburger arithmetic
constraint propagation
first order logic
cardinality constraints
functional programming
objective function
search space
knapsack problem
data streams
linear programming
feasible solution
solution quality
transitive closure