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

Similar Items

Trip Planning Based on subQUBO Annealing
by: Tatsuya Noguchi, et al.
Published: (2023-01-01)

QUBO formulations for a system of linear equations
by: Kyungtaek Jun
Published: (2024-03-01)

Omnisolver: An extensible interface to Ising spin–glass and QUBO solvers
by: Konrad Jałowiecki, et al.
Published: (2023-12-01)

GPS: A New TSP Formulation for Its Generalizations Type QUBO
by: Saul Gonzalez-Bermejo, et al.
Published: (2022-01-01)

A QUBO Model for the Traveling Salesman Problem with Time Windows
by: Christos Papalitsas, et al.
Published: (2019-10-01)

Constructing the Neighborhood Structure of VNS Based on Binomial Distribution for Solving QUBO Problems
by: Dhidhi Pambudi, et al.
Published: (2022-06-01)

Strategic Portfolio Optimization Using Simulated, Digital, and Quantum Annealing
by: Jonas Lang, et al.
Published: (2022-12-01)

NISQ-Ready Community Detection Based on Separation-Node Identification
by: Jonas Stein, et al.
Published: (2023-07-01)

Posiform planting: generating QUBO instances for benchmarking
by: Georg Hahn, et al.
Published: (2023-11-01)

Finding Debt Cycles: QUBO Formulations for the Maximum Weighted Cycle Problem Solved Using Quantum Annealing
by: Hendrik Künnemann, et al.
Published: (2023-06-01)

Ising Machine Approach to the Lecturer–Student Assignment Problem
by: Sora Tomita, et al.
Published: (2024-01-01)

Encoding-independent optimization problem formulation for quantum computing
by: Federico Dominguez, et al.
Published: (2023-09-01)

QuDASH: Quantum-Inspired Rate Adaptation Approach for DASH Video Streaming
by: Bo Wei, et al.
Published: (2023-01-01)

Experimental Analysis of Quantum Annealers and Hybrid Solvers Using Benchmark Optimization Problems
by: Evangelos Stogiannos, et al.
Published: (2022-04-01)

A Study of Ising Formulations for Minimizing Setup Cost in the Two-Dimensional Cutting Stock Problem
by: Hiroshi Arai, et al.
Published: (2021-06-01)

Quantum Annealing in the NISQ Era: Railway Conflict Management
by: Krzysztof Domino, et al.
Published: (2023-01-01)

Cutting-Edge Trajectory Optimization through Quantum Annealing
by: Andrea Carbone, et al.
Published: (2023-11-01)

Embedding Equality Constraints of Optimization Problems into a Quantum Annealer
by: Tomas Vyskocil, et al.
Published: (2019-04-01)

Solving the Traveling Salesman Problem on the D-Wave Quantum Computer
by: Siddharth Jain
Published: (2021-11-01)

Power Network Optimization: A Quantum Approach
by: Giuseppe Colucci, et al.
Published: (2023-01-01)

On the hardness of quadratic unconstrained binary optimization problems
by: V. Mehta, et al.
Published: (2022-08-01)

Generation of Truly Random Numbers on a Quantum Annealer
by: Harshil Bhatia, et al.
Published: (2022-01-01)

Research on Quantum Annealing Integer Factorization Based on Different Columns
by: Baonan Wang, et al.
Published: (2022-06-01)

Improving Urban Traffic Mobility via a Versatile Quantum Annealing Model
by: Andrea Marchesin, et al.
Published: (2023-01-01)

A Three-Stage Annealing Method Solving Slot-Placement Problems Using an Ising Machine
by: Keisuke Fukada, et al.
Published: (2021-01-01)

Quantum-inspired optimization for wavelength assignment
by: Aleksey S. Boev, et al.
Published: (2023-01-01)

Using Machine Learning for Quantum Annealing Accuracy Prediction
by: Aaron Barbosa, et al.
Published: (2021-06-01)

Dynamic Asset Allocation with Expected Shortfall via Quantum Annealing
by: Hanjing Xu, et al.
Published: (2023-03-01)

Quantum Annealing Methods and Experimental Evaluation to the Phase-Unwrapping Problem in Synthetic Aperture Radar Imaging
by: Khaled A. Helal Kelany, et al.
Published: (2022-01-01)

Deep Space Network Scheduling Using Quantum Annealing
by: Alexandre Guillaume, et al.
Published: (2022-01-01)

An asymptotically optimal public parking lot location algorithm based on intuitive reasoning
by: Chao Wang, et al.
Published: (2022-09-01)

Exploiting Hardware and Software Advances for Quadratic Models of Wind Farm Layout Optimization
by: Arik Senderovich, et al.
Published: (2022-01-01)

Quantum Algorithms for Mixed Binary Optimization Applied to Transaction Settlement
by: Lee Braine, et al.
Published: (2021-01-01)

Adiabatic quantum computing impact on transport optimization in the last-mile scenario
by: Juan Francisco Ariño Sales, et al.
Published: (2023-11-01)

Quantum Speedup for Index Modulation
by: Naoki Ishikawa
Published: (2021-01-01)

A QUBO Formulation of the Stereo Matching Problem for D-Wave Quantum Annealers
by: William Cruz-Santos, et al.
Published: (2018-10-01)

Qubit Reduction and Quantum Speedup for Wireless Channel Assignment Problem
by: Yuki Sano, et al.
Published: (2023-01-01)

Rejection-Free Monte Carlo Simulation of QUBO and Lechner–Hauke–Zoller Optimization Problems
by: Yoshihiro Nambu
Published: (2022-01-01)

Experimental study on the information disclosure problem: Branch-and-bound and QUBO solver
by: Keisuke Otaki, et al.
Published: (2023-03-01)

Integration of Simulated Quantum Annealing in Parallel Tempering and Population Annealing for Heterogeneous-Profile QUBO Exploration
by: Deborah Volpe, et al.
Published: (2023-01-01)