TY  - RPRT
TI  - Lower bound for the Complexity of the Boolean Satisfiability Problem
AU  - Carlos Barrón-Romero
PY  - 2016
UR  - https://arxiv.org/abs/1602.06867
ID  - 1602.06867
ER  -