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

Adgang til dokumentet

@article{c2eea90b45674d1d82a4884e17ac5537,

title = "A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates.",

author = "Swapnam Balaji and Vaibhav Krishan and Deepanshu Kush and Nutan Limaye and Srikanth Srinivasan",

year = "2022",

doi = "https://doi.org/10.1007/s00453-021-00915-7",

language = "English",

volume = "84",

journal = "Algorithmica",

issn = "0178-4617",

publisher = "Springer New York LLC",

}

TY - JOUR

T1 - A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates.

AU - Balaji, Swapnam

AU - Krishan, Vaibhav

AU - Kush, Deepanshu

AU - Limaye, Nutan

AU - Srinivasan, Srikanth

PY - 2022

Y1 - 2022

U2 - https://doi.org/10.1007/s00453-021-00915-7

DO - https://doi.org/10.1007/s00453-021-00915-7

M3 - Journal article

SN - 0178-4617

VL - 84

JO - Algorithmica

JF - Algorithmica

ER -