Fast Quantifier Elimination Means P = NP.

Published in: CiE (2006)

Keyphrases

quantifier elimination
functional programming
presburger arithmetic
constraint databases
first order logic
constraint propagation
expert systems
special case
programming language
expressive power
cardinality constraints