A Graph-Theoretical Approach to Boolean Interpolation of Non-Boolean Functions.

Sergiu Rudeanu Dan A. Simovici

Published in: ISMVL (2004)

Keyphrases

boolean functions
graph theoretical
graph theory
threshold functions
uniform distribution
relevant variables
prime implicants
membership queries
multi valued
dnf formulae
read once formulas
truth table
bi decomposition
disjunctive normal form
polynomial size
boolean formula
real valued