Login / Signup
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