TY  - RPRT
TI  - IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
AU  - Tsz Ho Chan
AU  - Wenyi Xiao
AU  - Junhua Huang
AU  - Huiling Zhen
AU  - Guangji Tian
AU  - Mingxuan Yuan
PY  - 2024
UR  - https://arxiv.org/abs/2403.03517
ID  - 2403.03517
ER  -