@misc{frank_vega_2020_3603393, author = {Frank Vega}, title = {P versus NP}, month = jan, year = 2020, publisher = {Zenodo}, doi = {10.5281/zenodo.3603393}, url = {https://doi.org/10.5281/zenodo.3603393} }