Categories Book chapter Synthesis of Super-Optimized Smart Contracts Using Max-SMT Post author By vlad.ilie Post date May 22, 2022 No Comments on Synthesis of Super-Optimized Smart Contracts Using Max-SMT ← Valorization of wastewater from food industry: moving to a circular bioeconomy → Digital Form Finding Using Voronoi Pattern Leave a Reply Cancel replyYour email address will not be published. Required fields are marked *Comment * Name * Email * Website Save my name, email, and website in this browser for the next time I comment. Δ
EFECON 2016 - 2022