Login / Signup
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