Login / Signup
A Unifying Formal Approach to Importance Values in Boolean Functions.
Hans Harder
Simon Jantsch
Christel Baier
Clemens Dubslaff
Published in:
IJCAI (2023)
Keyphrases
</>
boolean functions
uniform distribution
threshold functions
dnf formulae
relevant variables
prime implicants
membership queries
multi valued
functional properties
read once formulas
decision trees
multi class
binary decision diagrams
lower bound
linear threshold
bi decomposition