Practical applications of Boolean Satisfiability | Publicación