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