qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
quant-ph, cs.ET
Submitted: 2024-09-05
Updated: 2024-09-05
Terminology
Related papers
- Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
- Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
- Pure states are optimal for total energy-constrained quantum channel discrimination
- Polynomial-time classical and quantum simulation of quantum impurity models
- Incoherent Imaging with Spatially Structured Quantum Probes
- A quasiparticle-protected superconducting qubit