QBF-Based Boolean Function Bi-Decomposition

Huan Chen Mikolás Janota João P. Marques Silva

Published in: CoRR (2011)

Keyphrases

bi decomposition
boolean functions
multi valued
boolean formula
functional properties
uniform distribution
logic synthesis
relevant variables
binary decision diagrams
conjunctive normal form
membership queries
decomposition methods
support vector machine
inductive learning
monotone boolean functions
truth table