APA (7th ed.) Citation

Chan, T. H., Xiao, W., Huang, J., Zhen, H., Tian, G., & Yuan, M. (2024). IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability.

Chicago Style (17th ed.) Citation

Chan, Tsz Ho, Wenyi Xiao, Junhua Huang, Huiling Zhen, Guangji Tian, and Mingxuan Yuan. IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability. 2024.

MLA (9th ed.) Citation

Chan, Tsz Ho, et al. IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability. 2024.