The treewidth of smart contracts.

Krishnendu Chatterjee Amir Kafshdar Goharshady Ehsan Kafshdar Goharshady

Published in: SAC (2019)

Keyphrases

search space
upper bound
space complexity
supply chain
bounded treewidth
tree decompositions
real time
boolean functions
smart environments
smart grid
database
machine learning
case study
objective function
lower bound
website
mobile devices
neural network
worst case
databases
meeting room
ubiquitous environments