English
Related papers

Related papers: A Kerr soliton Ising machine for combinatorial opt…

200 papers

Computationally hard problems, including combinatorial optimization, can be mapped into the problem of finding the ground-state of an Ising Hamiltonian. Building physical systems with collective computational ability and distributed…

Mesoscale and Nanoscale Physics · Physics 2021-03-02 Sourav Dutta , Abhishek Khanna , Adou S. Assoa , Hanjong Paik , Darrell Schlom , Zoltan Toroczkai , Arijit Raychowdhury , Suman Datta

Coherent Ising Machine (CIM) is a network of optical parametric oscillators that can solve large-scale combinatorial optimisation problems by finding the ground state of an Ising Hamiltonian. As a practical application of CIM, Aonishi et…

Integer linear programming (ILP) is an elegant approach to solve linear optimization problems, naturally described using integer decision variables. Within the context of physics-inspired machine learning applied to chemistry, we…

The search of hardware-compatible strategies for solving NP-hard combinatorial optimization problems (COPs) is an important challenge of today s computing research because of their wide range of applications in real world optimization…

Chip-scale all-optical signal broadcasting enables data replication from an optical signal to a large number of wavelength channels, playing a critical role in enabling massive-throughput optical communication and computing systems. The…

A coherent Ising machine (CIM) is a network of optical parametric oscillators (OPOs), in which the "strongest" collective mode of oscillation at well above threshold corresponds to an optimum solution of a given Ising problem. When a pump…

Quantum Physics · Physics 2020-10-28 Y. Yamamoto , T. Leleu , S. Ganguli , H. Mabuchi

Optimization problems such as the NP-complete 3-SAT provide an important benchmark for the difficult task of finding ground-states in strongly correlated many-body systems with rugged energy landscapes. The study of random 3-SAT problems as…

Statistical Mechanics · Physics 2026-05-21 J. Schwardt , J. C. Budich

Integer linear programming (ILP) encompasses a very important class of optimization problems that are of great interest to both academia and industry. Several algorithms are available that attempt to explore the solution space of this class…

Emerging Technologies · Computer Science 2018-08-31 Fabio L. Traversa , Massimiliano Di Ventra

Boolean satisfiability (SAT) is a propositional logic problem of determining whether an assignment of variables satisfies a Boolean formula. Many combinatorial optimization problems can be formulated in Boolean SAT logic -- either as k-SAT…

Optimization and Control · Mathematics 2026-03-12 Robert Simon Fong , Yanming Song , Alexander Yosifov

Recent years have seen significant advances in quantum/quantum-inspired technologies capable of approximately searching for the ground state of Ising spin Hamiltonians. The promise of leveraging such technologies to accelerate the solution…

Optimization and Control · Mathematics 2024-01-24 Robin Brown , David E. Bernal Neira , Davide Venturelli , Marco Pavone

Many developments in science and engineering depend on tackling complex optimizations on large scales. The challenge motivates intense search for specific computing hardware that takes advantage from quantum features, nonlinear dynamics, or…

A simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) aided integrated sensing, computing, and communication (ISCC) Internet of Robotic Things (IoRT) framework is proposed. Specifically, the full-duplex…

Signal Processing · Electrical Eng. & Systems 2024-12-03 Haochen Li , Xidong Mu , Yuanwei Liu , Yue Chen , Pan Zhiwen

A quantum machine consisting of interacting linear clusters of atoms is proposed for the 3SAT problem. Each cluster with two relevant states of collective motion can be used to register a Boolean variable. Given any 3SAT Boolean formula the…

Quantum Physics · Physics 2008-02-03 Haiqing Wei , Xin Xue

In this paper, we present a novel algorithm to solve the Boolean Satisfiability (SAT) problem, using noise-based logic (NBL). Contrary to what the name may suggest, NBL is not a random/fuzzy logic system. In fact, it is a completely…

Computational Complexity · Computer Science 2011-10-05 Pey-Chang Kent Lin , Ayan Mandal , Sunil P Khatri

The accurate computational determination of chemical, materials, biological, and atmospheric properties has critical impact on a wide range of health and environmental problems, but is deeply limited by the computational scaling of…

Chemical Physics · Physics 2021-06-09 Debadrita Saha , Srinivasan S. Iyengar , Philip Richerme , Jeremy M. Smith , Amr Sabry

Sensing is anticipated to have wider extensions in communication systems with the boom of non-terrestrial networks (NTNs) during the past years. In this paper, we study a bistatic sensing system by maximizing the…

Signal Processing · Electrical Eng. & Systems 2024-09-26 Xiangyu Li , Bodong Shang , Qingqing Wu

Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encodings to Boolean satisfiability (SAT) format of conjunctive normal…

Logic in Computer Science · Computer Science 2020-05-06 Ignasi Abío , Valentin Mayer-Eichberger , Peter Stuckey

Conceptual process design is a crucial aspect of chemical engineering that involves process synthesis. Mixed-integer nonlinear programming is a powerful framework for modeling such design problems by combining discrete and continuous…

Optimization and Control · Mathematics 2026-03-23 Yirang Park , David E. Bernal Neira

Inspired by the developments in quantum computing, building domain-specific classical hardware to solve computationally hard problems has received increasing attention. Here, by introducing systematic sparsification techniques, we…

Ising Machine is a promising computing approach for solving combinatorial optimization problems. It is naturally suited for energy-saving and compact in-memory computing implementations with emerging memories. A na\"ive in-memory computing…

Hardware Architecture · Computer Science 2024-01-30 George Higgins Hutchinson , Ethan Sifferman , Tinish Bhattacharya , Dmitri B. Strukov