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

Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett

Browse the full CAV paper archive.