11 results on '"Burgholzer, Lukas"'
Search Results
2. Exploiting Reversible Computing for Verification
3. Equivalence Checking of Parameterized Quantum Circuits
4. A SAT Encoding for Optimal Clifford Circuit Synthesis
5. Software Tools for Decoding Quantum Low-Density Parity-Check Codes
6. The basis of design tools for quantum computing
7. Equivalence checking paradigms in quantum circuit design
8. Handling non-unitaries in quantum circuit equivalence checking
9. Random Stimuli Generation for the Verification of Quantum Circuits
10. JKQ
11. Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.