52 citations · 126 across the 16 of their papers we have counts for
4 papers · 1 filter
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…
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…
Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
Zhengyuan Shi, Tiebing Tang, Jiaying Zhu +5
The Circuit Satisfiability (CSAT) problem, a variant of the Boolean Satisfiability (SAT) problem, plays a critical role in integrated circuit design and verification. However, exis…
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications
Xijun Li, Fangzhou Zhu, Hui-Ling Zhen +23
In an era of digital ubiquity, efficient resource management and decision-making are paramount across numerous industries. To this end, we present a comprehensive study on the inte…