A Note on the Completeness of Resolution with Self-Resolution.

Norbert Eisinger

Published in: Inf. Process. Lett. (1989)

Keyphrases

low resolution
consequence finding
conflict detection
neural network
three dimensional
lower bound
search space
higher resolution