-
Updated
Jul 25, 2022 - Python
#
survey-propagation
Here are 3 public repositories matching this topic...
research algorithms optimization mathematics statistical-mechanics computational-physics algorithm-analysis constraint-satisfaction survey-propagation
-
Updated
Mar 22, 2024 - Python
C++17 implementation of Survey Propagation (SP) and Survey Inspired Decimation (SID) for 3-SAT, with random and community-attachment generators. Experiments for the master's thesis 'Survey Propagation in real-world SAT instances'.
artificial-intelligence cpp17 sat-solver sat decimation message-passing masters-thesis 3-sat walksat survey-propagation
-
Updated
May 10, 2026 - C++
Improve this page
Add a description, image, and links to the survey-propagation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the survey-propagation topic, visit your repo's landing page and select "manage topics."