Synthesis Techniques for Ternary Quantum Logic.
Sudhindu Bikash MandalAmlan ChakrabartiSusmita Sur-KolayPublished in: ISMVL (2011)
Keyphrases
- logic synthesis
- quantum computation
- quantum computing
- logic circuits
- multi valued
- modal logic
- logic programming
- databases
- artificial intelligence
- quantum evolutionary algorithm
- program synthesis
- knowledge base
- abductive reasoning
- asynchronous circuits
- predicate logic
- defeasible logic
- channel capacity
- delay insensitive
- texture synthesis
- low power
- deductive reasoning
- functional programs
- information systems