A Resolution-Style Proof System for DQBF.

Published in: SAT (2017)

Keyphrases

clause learning
high resolution
low resolution
modal logic
image resolution
neural network
information retrieval
consequence finding
database
real time
data sets
social networks
decision trees
image segmentation
bayesian networks
conflict detection