English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

To solve 3SAT instances on quantum annealers they need to be transformed toan instance of Quadratic Unconstrained Binary Optimization (QUBO). When thereare multiple transformations available, the question arises whether differenttransformations lead to differences in the obtained solution quality. Thus, inthis paper we conduct an empirical benchmark study, in which we compare fourstructurally different QUBO transformations for the 3SAT problem with regardsto the solution quality on D-Wave's Advantage_system4.1. We show that thechoice of QUBO transformation can significantly impact the number of correctsolutions the quantum annealer returns. Furthermore, we show that the size of aQUBO instance (i.e., the dimension of the QUBO matrix) is not a sufficientpredictor for solution quality, as larger QUBO instances may produce betterresults than smaller QUBO instances for the same problem. We also empiricallyshow that the number of different quadratic values of a QUBO instance, combinedwith their range, can significantly impact the solution quality.

Influence of Different 3SAT-to-QUBO Transformations on the Solution Quality of Quantum Annealing: A Benchmark Study