BULL: A Library for Learning Algorithms of Boolean Functions.
Yu-Fang ChenBow-Yaw WangPublished in: TACAS (2013)
Keyphrases
- boolean functions
- membership queries
- learning algorithm
- linear threshold
- uniform distribution
- threshold functions
- prime implicants
- machine learning algorithms
- relevant variables
- functional properties
- binary decision diagrams
- monotone boolean functions
- dnf formulae
- dnf formulas
- multi valued
- efficient learning
- learning problems
- target concept
- learning tasks
- bi decomposition
- active learning
- machine learning
- agnostic learning
- training data
- statistical queries
- disjunctive normal form
- np complete