TY - RPRT TI - A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates AU - Swapnam Bajpai AU - Vaibhav Krishan AU - Deepanshu Kush AU - Nutan Limaye AU - Srikanth Srinivasan PY - 2018 UR - https://arxiv.org/abs/1809.05932 ID - 1809.05932 ER -