Dual Approach to Solving SAT in Hardware. - Dinesh D. Narasimharaju; R. S. Suraj Rao; Akshaya Sandeep Waingade; Atif Yasin; Maciej J. Ciesielski (DTIS, 2020)