100 citations · 198 across the 14 of their papers we have counts for
1 paper · 1 filter
Arash Ardakani, Minwoo Kang, Kevin He +4
Efficient sampling of satisfying formulas for circuit satisfiability (CircuitSAT), a well-known NP-complete problem, is essential in modern front-end applications for thorough test…