Sign in
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