1 paper
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…