Synthesis of CNOT minimal quantum circuits with topological constraints through ASP.
Carla PiazzaRiccardo RomanelloPublished in: AIQxQIA@AI*IA (2023)
Keyphrases
- logic synthesis
- quantum computing
- logic circuits
- analog circuits
- constraint satisfaction
- answer set programming
- neural network
- constraint programming
- connected components
- constrained optimization
- texture synthesis
- global constraints
- digital circuits
- web applications
- program synthesis
- high speed
- relational databases
- real time