A Max-SMT Superoptimizer for EVM handling Memory and Storage | Publicación