Functions Computed by Monotone Boolean Formulas with no Repeated Variables.

Daniele Mundici

Published in: Theor. Comput. Sci. (1989)

Keyphrases

boolean formula
boolean variables
practical problems
boolean functions
sat solvers
conjunctive normal form
np complete
disjunctive normal form
membership queries
linear constraints
np hard
learning algorithm
reinforcement learning
data structure
binary decision diagrams