Mahdoum A. P ¹ NP: A Formal Proof. ijetst [Internet]. 2024May7 [cited 2025Apr.3];. Available from: https://ijetst.in/index.php/ijetst/article/view/1579