SplitGNN: Schnellere und bessere Lösungen für gewichtete MaxSAT-Probleme
Forscher haben SplitGNN vorgestellt, ein neues graphenbasiertes Verfahren, das gewichtete MaxSAT-Probleme effizient löst. Das Modell kombiniert moderne Graph Neural Networks mit einer Co‑Training-Architektur, die sowohl überwachte Nachrichtenübertragung als auch unüberwachtes Lösung‑Boosting nutzt.
