TY  - RPRT
TI  - A Linear Complementarity Theorem to solve any Satisfiability Problem in conjunctive normal form in polynomial time
AU  - Giacomo Patrizi
PY  - 2018
UR  - https://arxiv.org/abs/1801.09987
ID  - 1801.09987
ER  -