I recently developed an interest in Quantum Computing. I had the opportunity to co-advice a group of motivated students for a course by Prof. Di Nitto at Politecnico di Milano. They started to figure out efficient implementations for existing Quantum circuits using the IBM Qiskit library. We recently published a paper about generalizing Exactly-1 SAT Solvers using Qiskit, in the 1st Quantum Software Engineering and Technology Workshop (QSET).
- “Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K” (2020). In: 1st Quantum Software Engineering and Technology Workshop (QSET).
You can find more details about this work here.
Another work is accepted at QSE-ICSE which contains experiments to implement efficient coined quantum walk which could be used as a building block for other algorithms to gain speed-up.
- “Experimental Implementation of Discrete Time Quantum Walk with the IBM Qiskit Library” (2021). In: Second International Workshop on Quantum Software Engineering (Q-SE). co-located with ICSE 2021.
More detail on this work is here.