Hybrid quantum search with genetic algorithm optimization
Sebastian Mihai Ardelean,
Mihai Udrescu
1,065 views · 16 downloads
Symbolic model checking quantum circuits in Maude
Canh Minh Do,
Kazuhiro Ogata
732 views · 36 downloads
Modelling and verification of post-quantum key encapsulation mechanisms using Maude
Víctor García,
Santiago Escobar,
Kazuhiro Ogata,
Sedat Akleylek,
Ayoub Otmani
1,481 views · 43 downloads
Quantum-effective exact multiple patterns matching algorithms for biological sequences
Kapil Kumar Soni,
Akhtar Rasool
1,249 views · 125 downloads
Graph coloring using the reduced quantum genetic algorithm
Sebastian Mihai Ardelean,
Mihai Udrescu
2,378 views · 456 downloads