@misc{indiciae181d74b67dfa,
  title = {A \#SAT Algorithm for Small Constant-Depth Circuits with PTF gates},
  author = {Swapnam Bajpai and Vaibhav Krishan and Deepanshu Kush and Nutan Limaye and Srikanth Srinivasan},
  year = {2018},
  url = {https://arxiv.org/abs/1809.05932},
  note = {Source identifier: 1809.05932}
}