Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
In this thesis we study the properties of quantum walks with time dependent Hamiltonians, focusing in particular on the application to the quantum search problem on graphs. We study the search, localization and give a measure of robustness.
A toolkit for experimenting with novel heuristic algorithms to minor embed QUBO graphs for quantum annealing
Simulate Adiabatic Process in Qiskit and similarly use QAOA
Block Encodings & Quantum Discrete Adiabatic Linear-systems Solver implemented in QPanda (C++)
Simulation of Adiabatic Quantum Optimisation
Add a description, image, and links to the adiabatic-quantum-computing topic page so that developers can more easily learn about it.
To associate your repository with the adiabatic-quantum-computing topic, visit your repo's landing page and select "manage topics."