research
∙
06/07/2019
Smart Contract Design Meets State Machine Synthesis: Case Studies
Modern blockchain systems support creation of smart contracts -- statefu...
share
research
∙
04/06/2018
BFS Enumeration for Breaking Symmetries in Graphs
There are numerous NP-hard combinatorial problems which involve searchin...
research
∙
02/16/2016
