IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability. - Tsz Ho Chan; Wenyi Xiao; Junhua Huang; Hui-Ling Zhen; Guangji Tian; Mingxuan Yuan (CoRR, 2024)