The random 2-SAT partition function.
Dimitris AchlioptasAmin Coja-OghlanMax Hahn-KlimrothJoon LeeNoëla MüllerManuel PenschuckGuangyan ZhouPublished in: CoRR (2020)
Keyphrases
- partition function
- random sat
- phase transition
- satisfiability problem
- closed form
- markov random field
- sat problem
- upper bound
- belief propagation
- approximate inference
- random fields
- structured prediction
- max sat
- importance sampling
- boolean satisfiability
- upper and lower bounds
- maximum likelihood estimation
- probability density function
- lower bound
- parameter estimation
- np complete
- bayesian framework
- graphical models
- structure learning
- constraint satisfaction
- sat instances
- sat solvers
- search algorithm
- temporal logic
- randomly generated
- stereo matching
- maximum likelihood
- special case
- message passing
- markov networks
- machine learning
- maximum margin
- branch and bound algorithm
- probabilistic inference
- orders of magnitude
- state space
- probabilistic model
- dynamic programming
- image segmentation