A Resolution Variant Deciding some Classes of Clause Sets.

Christian G. Fermüller

Published in: CSL (1990)

Keyphrases

high resolution
low resolution
real time
search space
database
neural network
information systems
rough sets
convex sets
closed sets