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