On the complexity of solving quadratic Boolean systems

From MaRDI portal
Publication:1931429

DOI10.1016/j.jco.2012.07.001zbMath1255.65090arXiv1112.6263OpenAlexW2095823805MaRDI QIDQ1931429

Pierre-Jean Spaenlehauer, Magali Bardet, Bruno Salvy, Jean-Charles Faugère

Publication date: 14 January 2013

Published in: Journal of Complexity (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1112.6263



Related Items


Uses Software