114 citations · 193 across the 15 of their papers we have counts for
5 papers · 1 filter
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…