Boolean Functions, Quantum Gates and Computer Algebra.
Yorick HardyWilli-Hans SteebPublished in: CoRR (2014)
Keyphrases
- boolean functions
- computer algebra
- logic circuits
- dnf formulae
- uniform distribution
- theorem prover
- low power
- prime implicants
- threshold functions
- quantum computing
- computer algebra systems
- bi decomposition
- multi valued
- membership queries
- relevant variables
- linear threshold
- functional properties
- polynomial size
- quantum mechanics
- binary decision diagrams
- logic synthesis
- read once formulas
- action potentials
- automated theorem provers
- machine learning
- disjunctive normal form
- heuristic search
- probability distribution
- relational databases
- decision trees
- learning algorithm