Mahdoum, A. (2024) “P ¹ NP: A Formal Proof”, International Journal of Emerging Trends in Science and Technology. doi: 10.18535/ijetst/v2024.04.