An Improved GPU-Based SAT Model Counter.

Johannes Klaus Fichte Markus Hecher Markus Zisser

Published in: CP (2019)

Keyphrases

formal model
objective function
probabilistic model
em algorithm
computational model
statistical model
conceptual model
data sets
decision trees
high level
multiscale
probability distribution
theoretical framework
neural network model