Login / Signup
Formal constraint-based compilation for noisy intermediate-scale quantum systems.
Prakash Murali
Ali Javadi-Abhari
Frederic T. Chong
Margaret Martonosi
Published in:
Microprocess. Microsystems (2019)
Keyphrases
</>
formal methods
expert systems
management system
complex systems
database
artificial intelligence
computer vision