Login / Signup
Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures.
Alvaro Velasquez
Sumit Kumar Jha
Rickard Ewetz
Susmit Jha
Published in:
ISCAS (2021)
Keyphrases
</>
decision procedures
logic synthesis
quantum computing
theorem proving
modal logic
automated reasoning
logic circuits
analog circuits
high level
reasoning problems
conjunctive queries
heuristic search
machine learning
search algorithm
quantum mechanics
presburger arithmetic