Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction.

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

high resolution
database systems
data sets
neural network
machine learning
social networks
decision making
artificial neural networks
low resolution
normal form
modal logic