Keyphrases
- quantum computation
- logic circuits
- quantum computing
- logic synthesis
- variable selection
- predicate logic
- multi valued
- quantum inspired
- classical logic
- dynamic range
- state variables
- set theory
- modal logic
- automated reasoning
- database
- digital circuits
- hidden variables
- truth values
- low power
- logical formulas
- logic programming
- learning algorithm
- neural network