Cited By
View all- Minh Do COgata K(2024)Symbolic model checking quantum circuits in MaudePeerJ Computer Science10.7717/peerj-cs.209810(e2098)Online publication date: 20-Jun-2024
- Chen JLiu QFan YWu LLi BWang M(2024)New SAT-based Model for Quantum Circuit Decision Problem: Searching for Low-Cost Quantum ImplementationIACR Communications in Cryptology10.62056/anmmp-4c2hOnline publication date: 9-Apr-2024
- Alagic GBai CPoremba AShi K(2024)On the Two-sided Permutation Inversion ProblemIACR Communications in Cryptology10.62056/a0qj89n4eOnline publication date: 9-Apr-2024
- Show More Cited By




