Article SAT-GATv2: A Dynamic Attention-Based Graph Neural Network for Solving Boolean Satisfiability Problem Wenjing Chang 1,* and Wenlong Liu 2 1 School of Software, Henan Polytechnic University, Jiaozuo 454000, China 2 School of Computer Science and Technology, Henan Polytechnic University, Jiaozuo...