Researchers report that a multi-scale graph neural network called NeuroMGCN improves SAT phase prediction and raises solving rates by 4.1 and 5.2 percent over Kissat in the SATCOMP-2023 and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results