Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Akshaya Sandeep Waingade"'
Autor:
R.S Suraj Rao, Maciej Ciesielski, Dinesh D Narasimharaju, Akshaya Sandeep Waingade, Atif Yasin
Publikováno v:
DTIS
Boolean Satisfiability (SAT) is a central problem appearing in artificial intelligence, logic reasoning, formal verification, and EDA, with a wide range of practical applications. Many efficient SAT solvers have been implemented in software using som
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab7a385691bec806b3343ee316963117
https://doi.org/10.1109/dtis48698.2020.9081088
https://doi.org/10.1109/dtis48698.2020.9081088
