Login / Signup
Kunmei Hu
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Unsatisfiable Cores
Computational Properties
Boolean Satisfiability
Sat Solvers
Top Venues
Microelectron. J.
</>
Publications
</>
Kunmei Hu
,
Zhufei Chu
An efficient circuit-based SAT solver and its application in logic equivalence checking.
Microelectron. J.
142 (2023)