Smart Contract Satisfiability Checking for Blockchain Consistency.
Salima BenbernouMourad OuziriPublished in: Next-Gen Digital Services (2021)
Keyphrases
- supply chain
- consistency checking
- neural network
- genetic algorithm
- multiscale
- multi agent
- video sequences
- relational databases
- evolutionary algorithm
- data mining
- service oriented
- constraint networks
- smart environments
- smart grid
- databases
- global consistency
- temporal consistency
- ubiquitous environments
- revenue sharing