Dual Approach to Solving SAT in Hardware

Dinesh D. Narasimharaju, R. S. Suraj Rao, Akshaya Sandeep Waingade, Atif Yasin, Maciej J. Ciesielski. Dual Approach to Solving SAT in Hardware. In 15th Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2020, Marrakech, Morocco, April 1-3, 2020. pages 1-6, IEEE, 2020. [doi]

Abstract

Abstract is missing.