Reasoning About Monotonic Regulation Conditions for Boolean Gene Regulatory Networks: An Algorithmic Approach - Gerber, Yuval; Aluf-Medina, Michelle; Ratzon, Ori; Elimelech, Leeshay; Kugler, Hillel (2025 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Bioinformatics and Biomedicine (BIBM), 2025 IEEE International Conference on, 2025)