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

Swapnam Balaji, Vaibhav Krishan, Deepanshu Kush, Nutan Limaye, Srikanth Srinivasan

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Access to Document

@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

VL - 84

JO - Algorithmica

JF - Algorithmica

SN - 0178-4617

ER -