Survey of satisfiability modulo theories (SMT) | Publicación