4 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.LG2024
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
Zhanguang Zhang, Didier Chetelat, Joseph Cotnareanu +7
Boolean satisfiability (SAT) problems are routinely solved by SAT solvers in real-life applications, yet solving time can vary drastically between solvers for the same instance. Th…
cs.AR2024★ 4 cited
HDLdebugger: Streamlining HDL debugging with Large Language Models
Xufeng Yao, Haoyang Li, Tsz Ho Chan +5
In the domain of chip design, Hardware Description Languages (HDLs) play a pivotal role. However, due to the complex syntax of HDLs and the limited availability of online resources…
cs.AI2024★ 1 cited
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
Tsz Ho Chan, Wenyi Xiao, Junhua Huang +3
Boolean Satisfiability problems are vital components in Electronic Design Automation, particularly within the Logic Equivalence Checking process. Currently, SAT solvers are employe…