OKlibrary  0.2.1.6
general.hpp File Reference

Plans for SAT algorithms related propagation algorithms like belief and survey propagation. More...

Go to the source code of this file.


Detailed Description

Plans for SAT algorithms related propagation algorithms like belief and survey propagation.

Todo:
Connections
Todo:
Implement WP (warning propagation)
  • For boolean clause-sets the algorithm is described in [Braunstein, Mezard, Zecchina, 2005, Survey Propagation: An Algorithm for Satisfiability].
Todo:
Implement BP (belief propagation)
  • Also known as "sum-product algorithm".
  • For boolean clause-sets the algorithm is described in [Braunstein, Mezard, Zecchina, 2005, Survey Propagation: An Algorithm for Satisfiability].
Todo:
Implement SP (survey propgation)
  • For boolean clause-sets the algorithm is described in [Braunstein, Mezard, Zecchina, 2005, Survey Propagation: An Algorithm for Satisfiability].

Definition in file general.hpp.