Login / Signup
CNF-FSS and its Applications.
Paul Bunn
Eyal Kushilevitz
Rafail Ostrovsky
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
feature subset selection
boolean functions
conjunctive normal form
sat solving
sat solvers
knowledge compilation
cnf formula
model counting
lower bound
relational databases
machine translation
sat instances