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.