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

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

collaborators
Showing math.DSShow all

1 paper · 1 filter

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…