Empirical Study of the Anatomy of Modern Sat Solvers | Publicación