A Hybrid Method for Spectral Translation Equivalent Boolean Functions.
Mathias SoekenEleonora TestaD. Michael MillerPublished in: PACRIM (2019)
Keyphrases
- hybrid method
- boolean functions
- uniform distribution
- threshold functions
- machine translation
- membership queries
- relevant variables
- hybrid algorithm
- multi valued
- functional properties
- support vector machine
- dnf formulae
- prime implicants
- binary decision diagrams
- linear threshold
- machine learning
- logic programs
- evolutionary algorithm
- support vector