Attribute-based key-insulated signature for boolean formula.

Y. Sreenivasa Rao Ratna Dutta

Published in: Int. J. Comput. Math. (2016)

Keyphrases

boolean formula
sat solvers
conjunctive normal form
practical problems
read once formulas
np complete
boolean variables
sat problem
linear constraints
membership queries
binary decision diagrams
sat instances
machine learning
dynamic programming
equivalence queries