hecking the Soundness of Resolution Schemes.

Published in: JICSLP (1992)

Keyphrases

low resolution
high resolution
data sets
case study
database
neural network
genetic algorithm
artificial intelligence
search engine
computer vision
three dimensional
artificial neural networks
consequence finding