https://github.com/hadar301/sat_algorithms-
https://github.com/hadar301/sat_algorithms-
algorithm belief-propagation sat sat-solver survey-propagation warning-propagation
Last synced: 2 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/hadar301/sat_algorithms-
- Owner: Hadar301
- Created: 2021-12-26T11:34:05.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2022-07-25T08:53:54.000Z (over 3 years ago)
- Last Synced: 2025-09-05T01:39:53.636Z (5 months ago)
- Topics: algorithm, belief-propagation, sat, sat-solver, survey-propagation, warning-propagation
- Language: Python
- Homepage:
- Size: 28.3 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Citation: CITATION.cff
Awesome Lists containing this project
README
# SAT_algorithms-
Implementation of https://onlinelibrary.wiley.com/doi/pdf/10.1002/rsa.20057 [1]
Run the test with:
./rand_planted_test_threads.py $1 $2
$1 is the number of litrals N.
$2 is the algorithm:
'WP' - Warning Propagation.
'BP' - Belief Propagation.
'SP' - Survey Propagation.
For each kind of SAT problem there is also a comparison with the performance of Majority Vote algorithm.
The test is running for random planted SAT and random SAT problems, but can easily change for CNF files.
[1] Braunstein, Alfredo, Marc Mézard, and Riccardo Zecchina. "Survey propagation: An algorithm for satisfiability." Random Structures & Algorithms 27.2 (2005): 201-226.