Optimizing the Running Time of a Trigger Search Algorithm Based on the Principles of Formal Verification of Artificial Neural Networks. GJCST. 2024;24(D1):11-19. Accessed June 6, 2026. https://www.computerresearch.org/index.php/computer/article/view/102389