Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization.

Johannes Klaus Fichte Markus Hecher Valentin Roland

Published in: CP (2021)

Keyphrases

parallel implementation
learning algorithm
objective function
optimal solution
np hard
graphics processors
search space
probabilistic model
orders of magnitude
weighted model counting