Expected performance of m-solution backtracking | lit.salon