235 citations · 865 across the 103 of their papers we have counts for
1 paper · 2 filters
Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
Recent attempts to explain the effectiveness of Boolean satisfiability (SAT) solvers based on conflict-driven clause learning (CDCL) on large industrial benchmarks have focused on…