Classified by Research TopicSorted by DateClassified by Publication Type

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

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks.
Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), pp. 17:1–17:26, 2025.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{KabirTPM25CP,
	title={Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks},
	author={Kabir, Mohimenul and Trinh, Van-Giang and Pastva, Samuel and Meel, Kuldeep S.},
	booktitle=CP,
	pages={17:1--17:26},
	year={2025},
	bib2html_rescat={Counting},
	bib2html_pubtype={Refereed Conference},
	bib2html_dl_pdf={https://doi.org/10.4230/LIPIcs.CP.2025.17},
}

Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36