Forschung
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 kombin…
arXiv – cs.LG