CNF-FSS and Its Applications.

Paul Bunn Eyal Kushilevitz Rafail Ostrovsky

Published in: Public Key Cryptography (1) (2022)

Keyphrases

feature subset selection
boolean functions
conjunctive normal form
knowledge compilation
sat solvers
np complete
cnf formula
sat solving
support vector machine
horn theories
data sets
clause learning
propositional satisfiability
special case
artificial neural networks
feature selection
search engine