Login / Signup

Improved DD-based Equivalence Checking of Quantum Circuits.

Lukas BurgholzerRobert Wille
Published in: ASP-DAC (2020)
Keyphrases
  • quantum computing
  • logic circuits
  • high speed
  • quantum evolutionary algorithm
  • quantum mechanics
  • logic synthesis
  • real time
  • decision making
  • multiscale
  • logic programming
  • low power