Compiling SL representations of Boolean functions into OBDDs.

Milos Chromý Ondrej Cepek

Published in: ISAIM (2020)

Keyphrases

boolean functions
uniform distribution
randomly generated
prime implicants
threshold functions
relevant variables
dnf formulae
multi valued
functional properties
binary decision diagrams
read once formulas
truth table
temporal logic
pac learning
bi decomposition
pseudo boolean functions