A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT. KJMS [Internet]. 2025 Mar. 23 [cited 2026 Jun. 10];1(2):Page 1-13. Available from: https://mathsaccess.org.ng/index.php/kjms/article/view/16