Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT
A Mandl, J Barzen, M Bechtold… - Quantum Science and …, 2024 - iopscience.iop.org
The Boolean satisfiability problem (SAT), in particular 3SAT with its bounded clause size, is
a well-studied problem since a wide range of decision problems can be reduced to it. The …
a well-studied problem since a wide range of decision problems can be reduced to it. The …
Tweedledum: a compiler companion for quantum computing
B Schmitt, G De Micheli - 2022 Design, Automation & Test in …, 2022 - ieeexplore.ieee.org
This work presents tweedledum-an extensible open-source library aiming at narrowing the
gap between high-level algorithms and physical devices by enhancing the expressive …
gap between high-level algorithms and physical devices by enhancing the expressive …