On the readability of monotone Boolean formulae.

Khaled M. Elbassioni Kazuhisa Makino Imran Rauf

Published in: J. Comb. Optim. (2011)

Keyphrases

boolean formulae
term dnf
disjunctive normal form
boolean variables
conjunctive normal form
expressive power
boolean functions
phase transition
upper bound
search algorithm
uniform distribution
lower bound
relational databases
decision rules
decision problems
dnf formulas