Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture

Kaidi Wan, Minghao Liu, Yong Lai

Wepropose SplitGNN, a graph neural network (GNN)-based approach that learns to solve weighted maximum satisfiabil ity (MaxSAT) problem. SplitGNN incorporates a co-training architec…