sat_algorithms-
Science Score: 49.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 1 DOI reference(s) in README -
✓Academic publication links
Links to: wiley.com -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (3.5%) to scientific vocabulary
Keywords
algorithm
belief-propagation
sat
sat-solver
survey-propagation
warning-propagation
Last synced: 6 months ago
·
JSON representation
Repository
Basic Info
Statistics
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Topics
algorithm
belief-propagation
sat
sat-solver
survey-propagation
warning-propagation
Created about 4 years ago
· Last pushed over 3 years ago
Metadata Files
Readme
Citation
README.md
SAT_algorithms-
Implementation of https://onlinelibrary.wiley.com/doi/pdf/10.1002/rsa.20057 [1]
Run the test with:
./randplantedtest_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.
Owner
- Name: Hadar Cohen
- Login: Hadar301
- Kind: user
- Website: https://www.linkedin.com/in/hadarcohen301/
- Repositories: 2
- Profile: https://github.com/Hadar301
GitHub Events
Total
- Watch event: 1
Last Year
- Watch event: 1