High Quality Circuit-Based 3-SAT Mappings for Oscillator Ising Machines. - Venkata Pavan Sumanth Sikhakollu; Shreesha Sreedhara; Rajit Manohar; Alan Mishchenko; Jaijeet Roychowdhury (UCNC, 2024)