An Ising Model Inspired Extension of the Product-Based MP Framework for SAT

@inproceedings{Gableske2014AnIM,
  title={An Ising Model Inspired Extension of the Product-Based MP Framework for SAT},
  author={Oliver Gableske},
  booktitle={SAT},
  year={2014}
}
General context Message Passing algorithms used in CNF-SAT solving Message Passing algorithms used to provide biases for variables in a given CNF formula β(v) ∈ [−1.0, +1.0] a variable bias estimates the marginal assignment in all solutions realize a variable ordering heuristic (via absolute value of bias) realize a value ordering heuristic (via sign of bias) Message Passing algorithms are comprised of two parts 1 MP framework governs the overall process to compute biases defines the message… CONTINUE READING

From This Paper

Topics from this paper.
2 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…