Long Distance Q-Resolution with Dependency Schemes.

Tomás Peitl Friedrich Slivovsky Stefan Szeider

Published in: SAT (2016)

Keyphrases

long distance
mutual exclusion
high resolution
low resolution
computer technology
consequence finding
dependency relations
temporal resolution
image resolution
information content
state space
neural network
clustering algorithm
information systems
learning algorithm
data mining
real time