114 citations · 193 across the 15 of their papers we have counts for
16 papers
At the Top of the Mountain, the World can Look Boltzmann-Like: Sampling Dynamics of Noisy Double-Well Systems
Abir Hasan, Nikhil Shukla
The success of the transistor as the cornerstone of digital computation motivates analogous efforts to identify an equivalent hardware primitive, the probabilistic bit or p-bit, fo…
Stability of Oscillator Ising Machines: Not All Solutions Are Created Equal
Mohammad Khairul Bashar, Zongli Lin, Nikhil Shukla
Nonlinear dynamical systems such as coupled oscillators are being actively investigated as Ising machines for solving computationally hard problems in combinatorial optimization. P…
Constructing Dynamical Systems to Model Higher Order Ising Spin Interactions and their Application in Solving Combinatorial Optimization Problems
Mohammad Khairul Bashar, Nikhil Shukla
The Ising model provides a natural mapping for many computationally hard combinatorial optimization problems (COPs). Consequently, dynamical system-inspired computing models and ha…
Formulating Oscillator-Inspired Dynamical Systems to Solve Boolean Satisfiability
Mohammad Khairul Bashar, Zongli Lin, Nikhil Shukla
Dynamical systems can offer a novel non-Boolean approach to computing. Specifically, the natural minimization of energy in the system is a valuable property for minimizing the obje…
Dynamical system-based computational models for solving combinatorial optimization on hypergraphs
Mohammad Khairul Bashar, Antik Mallick, Avik W. Ghosh +1
The intrinsic energy minimization in dynamical systems offers a valuable tool for minimizing the objective functions of computationally challenging problems in combinatorial optimi…
Computational Models based on Synchronized Oscillators for Solving Combinatorial Optimization Problems
Antik Mallick, Mohammad Khairul Bashar, Zongli Lin +1
The equivalence between the natural minimization of energy in a dynamical system and the minimization of an objective function characterizing a combinatorial optimization problem o…
CMOS-Compatible Ising Machines built using Bistable Latches Coupled through Ferroelectric Transistor Arrays
Antik Mallick, Zijian Zhao, Mohammad Khairul Bashar +8
Realizing compact and scalable Ising machines that are compatible with CMOS-process technology is crucial to the effectiveness and practicality of using such hardware platforms for…
An Oscillator-based MaxSAT solver
Mohammad Khairul Bashar, Jaykumar Vaidya, Antik Mallick +8
The quest to solve hard combinatorial optimization problems efficiently -- still a longstanding challenge for traditional digital computers -- has inspired the exploration of many…
A Three-terminal Non-Volatile Ferroelectric Switch with an Insulator-Metal Transition Channel
Jaykumar Vaidya, R S Surya Kanthi, Shamiul Alam +3
Ferroelectrics offer a promising materials platform to realize energy-efficient non-volatile memory technology with the FeFET-based implementations being one of the most area-effic…
Creating Electronic Oscillator-based Ising Machines without External Injection Locking
Jaykumar Vaidya, R S Surya Kanthi, Nikhil Shukla
Coupled electronic oscillators have recently been explored as a compact, integrated circuit- and room temperature operation- compatible hardware platform to design Ising machines.…
Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis
Feng Shi, Chonghan Lee, Mohammad Khairul Bashar +3
CNF-based SAT and MaxSAT solvers are central to logic synthesis and verification systems. The increasing popularity of these constraint problems in electronic design automation enc…
Using Noise to Augment Synchronization among Oscillators
Jaykumar Vaidya, Mohammad Khairul Bashar, Nikhil Shukla
Noise is expected to play an important role in the dynamics of analog systems such as coupled oscillators which have recently been explored as a hardware platform for application i…
Experimental Demonstration of a Reconfigurable Coupled Oscillator Platform to Solve the Max-Cut Problem
Mohammad Khairul Bashar, Antik Mallick, Daniel S Truesdell +3
In this work, we experimentally demonstrate an integrated circuit (IC) of 30 relaxation oscillators with reconfigurable capacitive coupling to solve the NP-Hard Maximum Cut (Max-Cu…
Vertex coloring of graphs via phase dynamics of coupled oscillatory networks
Abhinav Parihar, Nikhil Shukla, Matthew Jerry +2
While Boolean logic has been the backbone of digital information processing, there are classes of computationally hard problems wherein this conventional paradigm is fundamentally…
Computing with Dynamical Systems Based on Insulator-Metal-Transition Oscillators
Abhinav Parihar, Nikhil Shukla, Matthew Jerry +2
In this paper we review recent work on novel computing paradigms using coupled oscillatory dynamical systems. We explore systems of relaxation oscillators based on linear state tra…
Synchronization of pairwise-coupled, identical, relaxation oscillators based on metal-insulator phase transition devices: A Model Study
Abhinav Parihar, Nikhil Shukla, Suman Datta +1
Computing with networks of synchronous oscillators has attracted wide-spread attention as novel materials and device topologies have enabled realization of compact, scalable and lo…