Login / Signup

Equivalence Checking of Quantum Circuits by Model Counting.

Jingyi MeiTim CoopmansMarcello M. BonsangueAlfons Laarman
Published in: IJCAR (2) (2024)
Keyphrases
  • model counting
  • quantum computing
  • logic circuits
  • weighted model counting
  • knowledge compilation
  • polynomial size
  • satisfiability testing
  • bayesian inference
  • datalog programs
  • database systems
  • upper bound