3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Hui-Ling Zhen, Naixing Wang, Junhua Huang +3
Due to the increasing challenges posed by the relentless rise in the design complexity of integrated circuits, Boolean Satisfiability (SAT) has emerged as a robust alternative to s…