@misc{indiciaefeebee4ec8ea,
  title = {A formula for systems of Boolean polynomial equations and applications to computational complexity},
  author = {Tomoya Machide},
  year = {2021},
  url = {https://arxiv.org/abs/1907.09686},
  note = {Source identifier: 1907.09686}
}