ALLSAT compressed with wildcards. Part 1: Converting CNF's to orthogonal DNF's.
Marcel WildPublished in: CoRR (2016)
Keyphrases
- boolean functions
- disjunctive normal form
- uniform distribution
- pattern matching
- boolean formula
- randomly generated
- membership queries
- data structure
- conjunctive normal form
- learning theory
- normal form
- learning algorithm
- decision rules
- sat solvers
- data compression
- pac learning
- compressed data
- binary decision diagrams
- dnf formulas
- polynomial size