QBf-based boolean function bi-decomposition.

Huan Chen Mikolás Janota João Marques-Silva

Published in: DATE (2012)

Keyphrases

bi decomposition
boolean functions
multi valued
boolean formula
functional properties
uniform distribution
logic synthesis
membership queries
binary decision diagrams
conjunctive normal form
decomposition methods
lower bound
np complete
polynomial size
truth table