SAT-Based Quantum Circuit Adaptation.
Sebastian BrandhoferJinwoong KimSiyuan NiuNicholas T. BronnPublished in: DATE (2023)
Keyphrases
- logic circuits
- answer set programming
- logic synthesis
- quantum computation
- quantum computing
- high speed
- low power
- constraint solver
- bounded model checking
- knowledge base
- neural network
- boolean satisfiability
- electronic circuits
- sat solvers
- ai planning
- analog circuits
- constraint networks
- domain specific
- quantum inspired
- programming language