Completeness of Resolution Revisited.

Published in: Theor. Comput. Sci. (1990)

Keyphrases

high resolution
low resolution
relational databases
sampling rate
temporal resolution
consequence finding
real time
data mining
information systems
three dimensional
lower bound
super resolution
formal proofs
conflict detection