A BDD-Based Simplification and Skolemization Procedure.

Published in: Log. J. IGPL (1995)

Keyphrases

real time
computer vision
database
neural network
learning algorithm
decision trees
multi agent systems
information technology
relational databases
artificial neural networks
orders of magnitude
heuristic search algorithms