KarNet: An Efficient Boolean Function Simplifier.

Shanka Subhra Mondal Abhilash Nandy Ritesh Agrawal Debashis Sen

Published in: CoRR (2019)

Keyphrases

boolean functions
uniform distribution
relevant variables
membership queries
binary decision diagrams
disjunctive normal form
bi decomposition
truth table
pseudo boolean functions
multi valued
state space
stack filters
polynomial size
functional properties
monotone boolean functions