Sound Probabilistic #SAT with Projection.

Vladimir Klebanov Alexander Weigl Jörg Weisbarth

Published in: QAPL (2016)

Keyphrases

sat solvers
propositional satisfiability
search strategies
neural network
genetic algorithm
probabilistic model
generative model
information theoretic
uncertain data
probabilistic approaches
learning algorithm
search algorithm
np hard
belief networks
combinatorial problems