A Unifying Formal Approach to Importance Values in Boolean Functions.

Hans Harder Simon Jantsch Christel Baier Clemens Dubslaff

Published in: CoRR (2023)

Keyphrases

boolean functions
uniform distribution
dnf formulae
relevant variables
prime implicants
threshold functions
multi valued
functional properties
membership queries
binary decision diagrams
bi decomposition
read once formulas
lower bound
pac learning
dnf formulas
linear threshold