Combining Cubic Dynamical Solvers with Make/Break Heuristics to Solve SAT. - Anshujit Sharma; Matthew X. Burns; Michael C. Huang 001 (SAT, 2023)

Augmented Electronic Ising Machine as an Effective SAT Solver. - Anshujit Sharma; Matthew X. Burns; Andrew Hahn; Michael C. Huang 001 (CoRR, 2023)

Provable Accuracy Bounds for Hybrid Dynamical Optimization and Sampling. - Matthew X. Burns; Qingyuan Hou; Michael C. Huang 001 (CoRR, 2024)

Provable Convergence Bounds for Hybrid Dynamical Sampling and Optimization. - Matthew X. Burns; Qingyuan Hou; Michael C. Huang 001 (ICLR, 2025)

Ising machine based on charge re-distribution. - Yongchao Liu; Lianlong Sun 001; Matthew X. Burns; Michael C. Huang 001; Hui Wu 007 (ISCAS, 2025)

Limitations in Parallel Ising Machine Networks: Theory and Practice. - Matthew X. Burns; Michael C. Huang 001 (CoRR, 2025)

Enhancing Oscillator-Based Ising Machine Models with Amplitude Dynamics and Polynomial Interactions. - Lianlong Sun 001; Matthew X. Burns; Michael C. Huang 001 (CoRR, 2025)