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]
Abstract is missing.