SAT-Based Formula Simplification | Publicación