@misc{bfss11,
  author = {Magali Bardet and Jean-Charles Faugère and Bruno Salvy and Pierre-Jean Spaenlehauer},
  title = {{On the Complexity of Solving Quadratic Boolean Systems}},
  year = {2013},
  doi = {10.1016/j.jco.2012.07.001},
  url = {https://arxiv.org/abs/1112.6263},
  keywords = {MQ, BooleanSolve, Boolean systems},
  cr_date = {2011-12-29},
  cr_date_precision = {day},
  cr_status = {published},
  cr_venue = {Journal of Complexity 29(1):53–75},
  cr_author_ids = {magali-bardet; jean-charles-faugere; bruno-salvy; pierre-jean-spaenlehauer}
}