IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability

Tsz Ho Chan, Wenyi Xiao, Junhua Huang, Huiling Zhen, Guangji Tian, Mingxuan Yuan
January 2024
Cite
Type
Journal article
Publication
arXiv preprint arXiv:2403.03517

Add the full text or supplementary notes for the publication here using Markdown formatting.