Swapnam Bajpai, Vaibhav Krishan, Deepanshu Kush, Nutan Limaye, Srikanth Srinivasan 0001. A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates. Electronic Colloquium on Computational Complexity (ECCC), 25:162, 2018. [doi]
@article{BajpaiKKLS18,
title = {A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates},
author = {Swapnam Bajpai and Vaibhav Krishan and Deepanshu Kush and Nutan Limaye and Srikanth Srinivasan 0001},
year = {2018},
url = {https://eccc.weizmann.ac.il/report/2018/162},
researchr = {https://researchr.org/publication/BajpaiKKLS18},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {25},
pages = {162},
}