activity
20202024
most citedTransformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis

4 citations · 10 across the 11 of their papers we have counts for

collaborators

12 papers

cs.ET2024

Designing a K-state P-bit Engine

Mohammad Khairul Bashar, Abir Hasan, Nikhil Shukla

Probabilistic bit (p-bit)-based compute engines utilize the unique capability of a p-bit to probabilistically switch between two states to solve computationally challenging problem…

math.OC2023

A Note on Analyzing the Stability of Oscillator Ising Machines

Mohammad Khairul Bashar, Zongli Lin, Nikhil Shukla

The rich non-linear dynamics of the coupled oscillators (under second harmonic injection) can be leveraged to solve computationally hard problems in combinatorial optimization such…

math.DS2023★ 1 cited

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…

math.DS2022★ 1 cited

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…

math.DS2022★ 1 cited

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…

physics.app-ph2022

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…