Search Results for author: HuiLing Zhen

Found 1 papers, 0 papers with code

Date Published Github Stars

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

no code implementations • 6 Mar 2024 • Tsz Ho Chan, Wenyi Xiao, Junhua Huang, HuiLing Zhen, Guangji Tian, Mingxuan Yuan

Boolean Satisfiability problems are vital components in Electronic Design Automation, particularly within the Logic Equivalence Checking process.

 
Paper
Add Code
Cannot find the paper you are looking for? You can Submit a new open access paper.
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy