10.1007/978-3-030-53288-8_10 | Papers

Papers: 10.1007/978-3-030-53288-8_10

Synthesis of Super-Optimized Smart Contracts Using Max-SMT

Cited by: 12
Author(s): Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett
Published: over 5 years ago

Tools for the analysis of heterogeneous tissues
Papers that mentioned: 174

Very Likely Science (100)

The Extreme Value Machine
Papers that mentioned: 152

Very Likely Science (65)

placeholder
Papers that mentioned: 1

Very Likely Science (65)

Python interface for the Solidity FDEM code
Papers that mentioned: 41

Very Likely Science (65)