Resolution on Quantified Generalized Clause-sets..

Jiwei Jin Xishun Zhao

Published in: J. Satisf. Boolean Model. Comput. (2010)

Keyphrases

clause learning
neural network
data sets
data mining
horn clauses
set theoretic
rough approximations
real time
image processing
high resolution
logic programming
sat solvers
temporal resolution
consequence finding