Liu, M.; Huang, P.; Jia, F.; Zhang, F.; Sun, Y.; Cai, S.; Ma, F.; Zhang, J. Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI 2023, 37, 16264-16265.