Swapnam Bajpai, Vaibhav Krishan, Deepanshu Kush, Nutan Limaye, Srikanth Srinivasan 0001. A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates. Algorithmica, 84(4):1132-1162, 2022. [doi]
@article{BajpaiKKLS22, 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 = {2022}, doi = {10.1007/s00453-021-00915-7}, url = {https://doi.org/10.1007/s00453-021-00915-7}, researchr = {https://researchr.org/publication/BajpaiKKLS22}, cites = {0}, citedby = {0}, journal = {Algorithmica}, volume = {84}, number = {4}, pages = {1132-1162}, }