A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates. - Swapnam Bajpai; Vaibhav Krishan; Deepanshu Kush; Nutan Limaye; Srikanth Srinivasan 001 (Electron. Colloquium Comput. Complex., 2018)