Parameterized Resolution with bounded conjunction

Stefan S. Dantchev Barnaby Martin

Published in: CoRR (2012)

Keyphrases

high resolution
low resolution
data structure
consequence finding
conflict detection
information systems
case study
data streams
relational databases
control system
sampling rate
higher resolution