• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Formal constraint-based compilation for noisy intermediate-scale quantum systems.

Prakash MuraliAli Javadi-AbhariFrederic T. ChongMargaret Martonosi
Published in: Microprocess. Microsystems (2019)
Keyphrases
  • formal methods
  • expert systems
  • management system
  • complex systems
  • database
  • artificial intelligence
  • computer vision