Extending the Reach of SAT with Many-Valued Logics | Publicación