Comment by nullc

Are you aware of any survey papers on some of the strategies used by (near) state of the art solvers?