Synthesis of Super-Optimized Smart Contracts Using Max-SMT.

Elvira Albert Pablo Gordillo Albert Rubio Maria Anna Schett

Published in: CAV (1) (2020)

Keyphrases

program synthesis
supply chain
texture synthesis
data sets
information retrieval
expert systems
statistical machine translation
database
smart environments
smart grid
smart cities
functional programs