On the complexity of solving quadratic Boolean systems

Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer. On the complexity of solving quadratic Boolean systems. J. Complexity, 29(1):53-75, 2013. [doi]

Abstract

Abstract is missing.