TY  - RPRT
TI  - Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
AU  - Mohimenul Kabir
AU  - Van-Giang Trinh
AU  - Samuel Pastva
AU  - Kuldeep S Meel
PY  - 2025
UR  - https://arxiv.org/abs/2506.06013
ID  - 2506.06013
ER  -