Rough Resolution: A Refinement of Resolution to Remove Large Literals.

Heng Chu David A. Plaisted

Published in: AAAI (1993)

Keyphrases

consequence finding
real time
high resolution
conflict detection
computer vision
feature selection
case study
expert systems
rough sets
super resolution
image resolution