Equivalence Between Systems Stronger Than Resolution.

Maria Luisa Bonet Jordi Levy

Published in: SAT (2020)

Keyphrases

intelligent systems
management system
computing systems
systems require
complex systems
learning systems
computer systems
decision trees
digital libraries
image sequences
image segmentation
case study
knowledge based systems
low resolution
clustering algorithm
retrieval systems
data sets
real time