Propositional SAT Solving | Publicación