Picture for Guangji Tian

Guangji Tian

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

Add code
Mar 06, 2024
Viaarxiv icon