In einer wissenschaftlichen Arbeit aus dem Jahr 2002 haben Mezard, Parisi und Zecchina die Heuristik der Glaubensausbreitung für zufällige 3SAT vorgestellt. Experimente zeigen, dass die Heuristik gut für Verhältnisse von Bedingungen pro Variable funktioniert, für die wahrscheinlich eine...
22
Glaubensausbreitung für ungefähre echte 3LIN?