Linear Time and the Power of One First-Order Universal Quantifier.

Published in: Inf. Comput. (2002)

Keyphrases

quantifier elimination
first order logic
constraint propagation
higher order
power consumption
functional programming
case study
worst case
computational power
data sets
artificial intelligence
stochastic dominance