Keyphrases
- quantum computation
- logic circuits
- variable selection
- relevant variables
- logic programming
- propositional variables
- modal logic
- logical formulas
- predicate logic
- logic synthesis
- neural network
- multi valued
- random variables
- quantum mechanics
- linear logic
- dynamic range
- quantum computing
- directed acyclic graph
- multi agent systems