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

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]

Authors

Swapnam Bajpai

This author has not been identified. Look up 'Swapnam Bajpai' in Google

Vaibhav Krishan

This author has not been identified. Look up 'Vaibhav Krishan' in Google

Deepanshu Kush

This author has not been identified. Look up 'Deepanshu Kush' in Google

Nutan Limaye

This author has not been identified. Look up 'Nutan Limaye' in Google

Srikanth Srinivasan 0001

This author has not been identified. Look up 'Srikanth Srinivasan 0001' in Google