Login / Signup
An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations.
Ryo Okishima
Toru Nakanishi
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2020)
Keyphrases
</>
cnf formula
information retrieval
database systems
database
search algorithm
relational databases
evolutionary algorithm
information retrieval systems