SAT-based {CNOT, T} Quantum Circuit Synthesis.
Giulia MeuliMathias SoekenGiovanni De MicheliPublished in: RC (2018)
Keyphrases
- answer set programming
- quantum computation
- sat solvers
- bounded model checking
- ai planning
- quantum inspired
- quantum computing
- version space
- probability ranking principle
- constraint solver
- quantum mechanics
- answer sets
- planning problems
- training data
- boolean satisfiability
- channel capacity
- logic circuits
- constraint networks
- quantum genetic algorithm
- logic programming
- reinforcement learning