@misc{indiciaeb93392af8688, title = {Towards P = NP via k-SAT: A k-SAT Algorithm Using Linear Algebra on Finite Fields}, author = {Matt Groff}, year = {2011}, url = {https://arxiv.org/abs/1106.0683}, note = {Source identifier: 1106.0683} }