Originalsprog | Engelsk |
---|---|
Tidsskrift | Algorithmica |
Vol/bind | 84 |
ISSN | 0178-4617 |
DOI | |
Status | Udgivet - 2022 |
A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates.
Swapnam Balaji, Vaibhav Krishan, Deepanshu Kush, Nutan Limaye, Srikanth Srinivasan
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review