English
Related papers

Related papers: Solving SAT and MaxSAT with a Quantum Annealer: Fo…

200 papers

Quantum Annealers are basically quantum computers that with high probability can optimize certain quadratic functions on Boolean variables in constant time. These functions are basically the Hamiltonian of Ising models that reach the ground…

Quantum Physics · Physics 2024-05-14 Carlos Ansótegui , Jordi Levy

Quantum computers have the potential of solving problems more efficiently than classical computers. While first commercial prototypes have become available, the performance of such machines in practical application is still subject to…

Emerging Technologies · Computer Science 2020-05-13 Tom Krüger , Wolfgang Mauerer

We introduce a novel approach to translate arbitrary 3-SAT instances to Quadratic Unconstrained Binary Optimization (QUBO) as they are used by quantum annealing (QA) or the quantum approximate optimization algorithm (QAOA). Our approach…

We introduce the reinforcement quantum annealing (RQA) scheme in which an intelligent agent interacts with a quantum annealer that plays the stochastic environment role of learning automata and tries to iteratively find better Ising…

Quantum Physics · Physics 2020-01-03 Ramin Ayanzadeh , Milton Halem , Tim Finin

Quantum annealing is a type of analog computation that aims to use quantum mechanical fluctuations in search of optimal solutions of QUBO (quadratic unconstrained binary optimization) or, equivalently, Ising problems. Since NP-hard problems…

Quantum Physics · Physics 2023-04-14 Elijah Pelofske , Georg Hahn , Hristo N. Djidjev

Quantum annealers are specialized quantum computers for solving combinatorial optimization problems using special characteristics of quantum computing (QC), such as superposition, entanglement, and quantum tunneling. Theoretically, quantum…

Software Engineering · Computer Science 2024-07-29 Xinyi Wang , Asmar Muqeet , Tao Yue , Shaukat Ali , Paolo Arcaini

Many problems of industrial interest are NP-complete, and quickly exhaust resources of computational devices with increasing input sizes. Quantum annealers (QA) are physical devices that aim at this class of problems by exploiting quantum…

Quantum annealing (QA) has been proposed as a quantum enhanced optimization heuristic exploiting tunneling. Here, we demonstrate how finite range tunneling can provide considerable computational advantage. For a crafted problem designed to…

Using a specially constructed set of hard 2-SAT problems with four satisfying assignments, we study the scaling and sampling performance of numerical simulation of quantum annealing as well as that of the physical quantum annealers offered…

Quantum Physics · Physics 2025-11-04 Vrinda Mehta , Hans De Raedt , Kristel Michielsen , Fengping Jin

Quantum annealing (QA) has the potential to significantly improve solution quality and reduce time complexity in solving combinatorial optimization problems compared to classical optimization methods. However, due to the limited number of…

Quantum Physics · Physics 2025-04-09 Seongmin Kim , Sang-Woo Ahn , In-Saeng Suh , Alexander W. Dowling , Eungkyu Lee , Tengfei Luo

Quantum annealing is getting increasing attention in combinatorial optimization. The quantum processing unit by D-Wave is constructed to approximately solve Ising models on so-called Chimera graphs. Ising models are equivalent to quadratic…

Data Structures and Algorithms · Computer Science 2019-04-30 Michael Juenger , Elisabeth Lobe , Petra Mutzel , Gerhard Reinelt , Franz Rendl , Giovanni Rinaldi , Tobias Stollenwerk

In recent years, quantum annealing has gained the status of being a promising candidate for solving various optimization problems. Using a set of hard 2-satisfiabilty (2-SAT) problems, consisting of upto 18-variables problems, we analyze…

Quantum Physics · Physics 2022-06-09 Vrinda Mehta , Fengping Jin , Hans De Raedt , Kristel Michielsen

As contemporary quantum computers do not possess error correction, any calculation performed by these devices can be considered an involuntary approximation. To solve a problem on a quantum annealer, it has to be expressed as an instance of…

Search-based software engineering (SBSE) addresses critical optimization challenges in software engineering, including the next release problem (NRP) and feature selection problem (FSP). While traditional heuristic approaches and integer…

Software Engineering · Computer Science 2025-07-01 Shuchang Wang , Xiaopeng Qiu , Yingxing Xue , Yanfu Li , Wei Yang

Quantum annealing provides a promising route for the development of quantum optimization devices, but the usefulness of such devices will be limited in part by the range of implementable problems as dictated by hardware constraints. To…

Quantum Physics · Physics 2015-10-14 Walter Vinci , Tameem Albash , Gerardo Paz-Silva , Itay Hen , Daniel A. Lidar

The utility of satisfiability (SAT) as an application focused hard computational problem is well established. We explore the potential of quantum annealing to enhance classical SAT solving, especially where sampling from the space of all…

Quantum Physics · Physics 2016-12-22 Kristen L. Pudenz , Gregory S. Tallant , Todd R. Belote , Steven H. Adachi

Quantum annealing is a novel type of analog computation that aims to use quantum mechanical fluctuations to search for optimal solutions of Ising problems. Quantum annealing in the Transverse Ising model, implemented on D-Wave QPUs, are…

Quantum Physics · Physics 2025-03-14 Elijah Pelofske

We propose Quantum Enhanced Simulated Annealing (QESA), a novel hybrid optimization framework that integrates quantum annealing (QA) into simulated annealing (SA) to tackle continuous optimization problems. While QA has shown promise in…

Quantum Physics · Physics 2025-04-04 Hristo N. Djidjev

Quantum computing is an information processing paradigm that uses quantum-mechanical properties to speedup computationally hard problems. Although promising, existing gate-based quantum computers consist of only a few dozen qubits and are…

Quantum Physics · Physics 2021-08-26 Ramin Ayanzadeh , Poulami Das , Swamit S. Tannu , Moinuddin Qureshi

The D-Wave adiabatic quantum annealer solves hard combinatorial optimization problems leveraging quantum physics. The newest version features over 1000 qubits and was released in August 2015. We were given access to such a machine,…

Databases · Computer Science 2015-10-23 Immanuel Trummer , Christoph Koch
‹ Prev 1 2 3 10 Next ›