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