Predicting Propositional Satisfiability Based on Graph Attention Networks. - Wenjing Chang; Hengkai Zhang; Junwei Luo (Int. J. Comput. Intell. Syst., 2022)