collaborators

1 paper

cs.CC2018

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

Swapnam Bajpai, Vaibhav Krishan, Deepanshu Kush +2

We show that there is a randomized algorithm that, when given a small constant-depth Boolean circuit made up of gates that compute constant-degree Polynomial Threshold function…