Neue Hybridheuristiken verbessern Pseudo-Boolean-Propagation
Anzeige
Ein neues arXiv-Papier (ArXiv:2511.21417v1) stellt innovative Hybridheuristiken für die Pseudo-Boolean-Propagation vor. Die Autoren zeigen, dass ihre Ansätze die derzeit erfolgreichste Kombination aus dem beobachteten Literal- und dem Zählverfahren deutlich übertreffen. In Tests am RoundingSAT-Solver erzielen die neuen Strategien eine erhebliche Leistungssteigerung gegenüber dem bisherigen Standard.
Ähnliche Artikel
arXiv – cs.AI
•
Narrow Finetuning erhöht Risiko von emergentem Misalignment – Domänenabhängigkeit
arXiv – cs.AI
•
Von Prompt zu Graph: LLM-Strategien im Ontologiebau für Fachbereiche
arXiv – cs.LG
•
Neues Sheaf Neural Network übertrifft GNNs in biomedizinischer Analyse
arXiv – cs.AI
•
Selbstbelohnende Sprachmodelle: Theoretische Garantie für iterative Ausrichtung
arXiv – cs.AI
•
LLM‑Council mit adaptiven Entscheidungswegen steigert Qualität
arXiv – cs.LG
•
Tabellarische Basismodelle meistern Überlebensanalyse – neue Methode