Testing Stability by Quantifier Elimination.

Hoon Hong Richard Liska Stanly L. Steinberg

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

Keyphrases

quantifier elimination
presburger arithmetic
functional programming
constraint propagation
first order logic
cardinality constraints
constraint databases
artificial intelligence
objective function
search algorithm
lower bound