Exploiting structure in quantified formulas.

Richard Edwin Stearns Harry B. Hunt III

Published in: J. Algorithms (2002)

Keyphrases

neural network
learning algorithm
multiresolution
database
three dimensional
database systems
expert systems
evolutionary algorithm