English
Related papers

Related papers: Ising-based Test Optimization and Benchmarking

200 papers

Software systems typically consist of various interacting components and units. While these components can be tested and shown to work correctly in isolation, when integrated and start interacting with each other, they may fail to produce…

Software Engineering · Computer Science 2018-12-07 Mehrdad Saadatmand

An Ising machine is any hardware specifically designed for finding the ground state of the Ising model. Relevant examples are coherent Ising machines and quantum annealers. In this paper, we propose a new machine learning model that is…

Machine Learning · Computer Science 2024-03-26 Ludwig Schmid , Enrico Zardini , Davide Pastorello

Ising machines are emerging as a new technology for solving various classes of computationally hard problems of practical importance, yet their limits on structured SAT workloads, representative of numerous real-world applications, remain…

Benchmarking optimization algorithms is fundamental for the advancement of computational intelligence. However, widely adopted artificial test suites exhibit limited correspondence with the diversity and complexity of real-world engineering…

Computational Engineering, Finance, and Science · Computer Science 2026-04-17 Stefan Ivić , Siniša Družeta , Luka Grbčić

Recently, the coherent Ising machine (CIM) as a degenerate optical parametric oscillator (DOPO) network has been researched to solve Ising combinatorial optimization problems. We formulate a theoretical model for the CIM with discrete-time…

Quantum Physics · Physics 2017-11-22 Atsushi Yamamura , Kazuyuki Aihara , Yoshihisa Yamamoto

Mixed-integer linear programming (MILP) plays a crucial role in artificial intelligence, biochemistry, finance, cryptography, etc. Notwithstanding popular for decades, the researches of MILP solvers are still limited by the resource…

Quantum Physics · Physics 2022-04-12 Hao Wang , Yu Pan , Wei Cui

Understanding the properties of biological systems is an exciting avenue for applying advanced approaches to solving corresponding computational tasks. A specific class of problems that arises in the resolution of biological challenges is…

Oscillator Ising machines (OIMs) are networks of coupled oscillators that seek the minimum energy state of an Ising model. Since many NP-hard problems are equivalent to the minimization of an Ising Hamiltonian, OIMs have emerged as a…

Optimization and Control · Mathematics 2026-02-20 Ahmed Allibhoy , Arthur N. Montanari , Fabio Pasqualetti , Adilson E. Motter

Oscillator Ising Machines (OIMs) and probabilistic bit (p-bit)-based computing platforms have emerged as promising paradigms for tackling complex combinatorial optimization problems. Although traditionally viewed as distinct approaches,…

Computational Physics · Physics 2026-01-26 E. M. Hasantha Ekanayake , Nikhat Khan , Nikhil Shukla

Benchmarking is a common practice in software engineering to assess the qualities and performance of software variants, coming from multiple competing systems or from configurations of the same system. Benchmarks are used notably to compare…

Software Engineering · Computer Science 2025-12-23 Théo Matricon , Mathieu Acher , Helge Spieker , Arnaud Gotlieb

Ising annealer is a promising quantum-inspired computing architecture for combinatorial optimization problems. In this paper, we introduce an Ising annealer based on the Hamiltonian Monte Carlo, which updates the variables of all dimensions…

Quantum Physics · Physics 2025-01-15 Hao Wang , Zixuan Liu , Zhixin Xie , Langyu Li , Zibo Miao , Wei Cui , Yu Pan

We propose a novel type of minor-embedding (ME) in simulated-annealing-based Ising machines. The Ising machines can solve combinatorial optimization problems. Many combinatorial optimization problems are mapped to find the ground…

Statistical Mechanics · Physics 2020-12-07 Tatsuhiko Shirai , Shu Tanaka , Nozomu Togawa

While there are various approaches to benchmark physical processors, recent findings have focused on computational phase transitions. This is due to several factors. Importantly, the hardest instances appear to be well-concentrated in a…

Quantum Physics · Physics 2021-04-08 Hariphan Philathong , Vishwa Akshay , Ksenia Samburskaya , Jacob Biamonte

Hard combinatorial optimization problems, often mapped to Ising models, promise potential solutions with quantum advantage but are constrained by limited qubit counts in near-term devices. We present an innovative quantum-inspired framework…

Quantum Physics · Physics 2024-12-25 Co Tran , Quoc-Bao Tran , Hy Truong Son , Thang N Dinh

We present a procedure to solve the inverse Ising problem, that is to find the interactions between a set of binary variables from the measure of their equilibrium correlations. The method consists in constructing and selecting specific…

Disordered Systems and Neural Networks · Physics 2015-05-30 Simona Cocco , Rémi Monasson

Ising machines as hardware solvers of combinatorial optimization problems (COPs) can efficiently explore large solution spaces due to their inherent parallelism and physics-based dynamics. Many important COP classes such as satisfiability…

In VLSI physical design, many algorithms require the solution of difficult combinatorial optimization problems such as max/min-cut, max-flow problems etc. Due to the vast number of elements typically found in this problem domain, these…

Computational Physics · Physics 2019-03-18 Chase Cook , Hengyang Zhao , Takashi Sato , Masayuki Hiromoto , Sheldon X. -D. Tan

Because the choice and tuning of the optimizer affects the speed, and ultimately the performance of deep learning, there is significant past and recent research in this area. Yet, perhaps surprisingly, there is no generally agreed-upon…

Machine Learning · Computer Science 2019-03-14 Frank Schneider , Lukas Balles , Philipp Hennig

Optimally mapping a parallel application to compute and communication resources is increasingly important as both system size and heterogeneity increase. A similar mapping problem exists in gate-based quantum computing where the objective…

Emerging Technologies · Computer Science 2020-09-23 Anastasiia Butko , Ilyas Turimbetov , George Michelogiannakis , David Donofrio , Didem Unat , John Shalf

In recent years, quantum Ising machines have drawn a lot of attention, but due to physical implementation constraints, it has been difficult to achieve dense coupling, such as full coupling with sufficient spins to handle practical…