Pattern QUBOs: Algorithmic Construction of 3SAT-to-QUBO Transformations

Pattern QUBOs: Algorithmic Construction of 3SAT-to-QUBO Transformations

One way of solving <span style="font-variant: small-caps;">3sat</span> instances on a quantum computer is to transform the <span style="font-variant: small-caps;">3sat</span> instances into instances of Quadratic Unconstrained Binary Optimizations (QUBOs),...

Full description

Bibliographic Details
Main Authors: Sebastian Zielinski, Jonas Nüßlein, Jonas Stein, Thomas Gabor, Claudia Linnhoff-Popien, Sebastian Feld
Format: Article
Language:English
Published: MDPI AG 2023-08-01
Series:Electronics
Subjects:
quantum annealing
pattern QUBO
automatic QUBO generation
QUBO
Ising
satisfiability
Online Access:https://www.mdpi.com/2079-9292/12/16/3492

Internet

https://www.mdpi.com/2079-9292/12/16/3492

Similar Items