Searched for: subject%3A%22automatic%255C+QUBO%255C+generation%22
(1 - 1 of 1)
Zielinski, Sebastian (author), Nüßlein, Jonas (author), Stein, Jonas (author), Gabor, Thomas (author), Linnhoff-Popien, Claudia (author), Feld, S. (author)
One way of solving 3sat instances on a quantum computer is to transform the 3sat instances into instances of Quadratic Unconstrained Binary Optimizations (QUBOs), which can be used as an input for the QAOA algorithm on quantum gate systems or as an input for quantum annealers. This mapping is performed by a 3sat-to-QUBO transformation....
journal article 2023