@misc{indiciae55d2ca1d8e2e,
  title = {On the Complexity of Solving Quadratic Boolean Systems},
  author = {Magali Bardet and Jean-Charles Faugère and Bruno Salvy and Pierre-Jean Spaenlehauer},
  year = {2012},
  doi = {10.1016/j.jco.2012.07.001},
  url = {https://arxiv.org/abs/1112.6263},
  note = {Source identifier: 1112.6263}
}