Login / Signup

Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.

Yingjia DuYuan FeiSini ChenHuibiao Zhu
Published in: SEKE (2023)
Keyphrases
  • data analysis
  • data points
  • supply chain
  • high dimensional data
  • linear programming