Composition of Switching Lattices and Autosymmetric Boolean Function Synthesis.
Anna BernasconiValentina CirianiLuca FrontiniGabriella TruccoPublished in: DSD (2017)
Keyphrases
- boolean functions
- functional decomposition
- uniform distribution
- multi valued
- bi decomposition
- monotone boolean functions
- binary decision diagrams
- read once formulas
- functional properties
- machine learning
- membership queries
- relevant variables
- disjunctive normal form
- logic synthesis
- pseudo boolean functions
- data mining
- linear functions
- relational databases
- association rules