Deploying Transactional Smart Contracts using Multisignature Boolean Formulas.

Arnab Chatterjee R. C. Hansdah

Published in: ICDCN (2022)

Keyphrases

boolean formula
sat solvers
unsatisfiable cores
np complete
practical problems
conjunctive normal form
boolean variables
membership queries
binary decision diagrams
max sat
linear constraints
machine learning
genetic algorithm
equivalence queries