2024. Optimizing the Running Time of a Trigger Search Algorithm Based on the Principles of Formal Verification of Artificial Neural Networks. Global Journal of Computer Science and Technology. 24, D1 (Aug. 2024), 11–19.