Synthesis of Super-Optimized Smart Contracts Using Max-SMT | Publicación