Probabilistic characterization of random Max r-Sat.

Daniel Berend Yochai Twitto

Published in: Discret. Optim. (2021)

Keyphrases

satisfiability problem
bayesian networks
probabilistic model
data driven
uncertain data
data sets
search algorithm
belief networks
probability theory
neural network
graphical models
generative model
search strategies
probabilistic reasoning
sat problem
probabilistic logic