43 citations · 70 across the 4 of their papers we have counts for
1 paper · 1 filter
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
The study of phase transition behaviour in SAT has led to deeper understanding and algorithmic improvements of modern SAT solvers. Motivated by these prior studies of phase transit…