Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System.

Nasima Begum Toru Nakanishi Nobuo Funabiki

Published in: ICISC (2012)

Keyphrases

theorem proving
machine learning
artificial intelligence
optimal solution
data model
access control
orders of magnitude