Practical algorithms for unsatisfiability proof and core generation in SAT solvers | Publicación