Verification of Restricted EA-Equivalence for Vectorial Boolean Functions.
Lilya BudaghyanOleksandr KazymyrovPublished in: WAIFI (2012)
Keyphrases
- boolean functions
- evolutionary algorithm
- uniform distribution
- threshold functions
- prime implicants
- relevant variables
- model checking
- enterprise architecture
- dnf formulae
- functional properties
- disjunctive normal form
- membership queries
- linear threshold
- pseudo boolean functions
- bi decomposition
- binary decision diagrams
- multi valued
- upper bound