5 citations · 8 across the 9 of their papers we have counts for
1 paper · 1 filter
Saket Dingliwal, Ronak Agarwal, Happy Mittal +1
Symmetry breaking is a popular technique to reduce the search space for SAT solving by exploiting the underlying symmetry over variables and clauses in a formula. The key idea is t…