Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination.

Fumiaki Okushi Allen Van Gelder

Published in: Ann. Math. Artif. Intell. (2004)

Keyphrases

probabilistic model
computational model
formal model
real time
experimental data
sensitivity analysis
database
data sets
decision trees
high level
prior knowledge
d objects
theoretical framework
neural network model
bayesian framework
object model