Login / Signup
Efficient Certified Resolution Proof Checking.
Luís Cruz-Filipe
João Marques-Silva
Peter Schneider-Kamp
Published in:
CoRR (2016)
Keyphrases
</>
data sets
multiscale
bayesian networks
computationally expensive
genetic algorithm
e learning
three dimensional
database systems
high quality
multiresolution
special case
probabilistic model
computationally efficient
cost effective