Horn Extensions of a Partially Defined Boolean Function.

Kazuhisa Makino Ken'ichi Hatanaka Toshihide Ibaraki

Published in: SIAM J. Comput. (1999)

Keyphrases

boolean functions
np hard
uniform distribution
relevant variables
membership queries
monotone boolean functions
bi decomposition
read once formulas
pseudo boolean functions
multi valued
binary decision diagrams
stack filters