Login / Signup

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

Tsz Ho ChanWenyi XiaoJunhua HuangHui-Ling ZhenGuangji TianMingxuan Yuan
Published in: CoRR (2024)
Keyphrases
  • boolean satisfiability
  • sat solvers
  • randomly generated
  • decision makers
  • sat problem
  • max sat
  • boolean formula