Journal of Systems and Software · 2024 · 12 citations · 37 references
ComputingComputer SciencePhysicsFormal MethodsQuantum ComputingQuantum MechanicsDeductive VerificationEquivalence CheckingQuantum AlgorithmsQuantum ComputationQuantum Programming LanguagesBlack-box TestingQuantum Circuit EquivalenceQuantum Circuit Equivalence CheckingQuantum Circuit VerificationQuantum Program VerificationQuantum Verification
37
A fast quantum mechanical algorithm for database search
Lov K. Grover · 1996 · 8.6K citations · Full text
Jacob Biamonte, Péter Wittek, Nicola Pancotti et al. · Nature · 2017 · 4.4K citations · Full text