TY  - RPRT
TI  - Towards P = NP via k-SAT: A k-SAT Algorithm Using Linear Algebra on Finite Fields
AU  - Matt Groff
PY  - 2011
UR  - https://arxiv.org/abs/1106.0683
ID  - 1106.0683
ER  -