Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks.

Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel

Browse the full CP paper archive.