4 citations · 8 across the 6 of their papers we have counts for
8 papers
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…
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…