Sign in

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

Elvira AlbertPablo GordilloAlbert RubioMaria 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