Constructing Ramsey graphs from Boolean function representations.

Parikshit Gopalan

Published in: Comb. (2014)

Keyphrases

boolean functions
uniform distribution
bounded treewidth
relevant variables
multi valued
functional properties
bi decomposition
monotone boolean functions
membership queries
binary decision diagrams
read once formulas
truth table
pseudo boolean functions
rough sets
dnf formulas
polynomial size