Tackling universal properties of minimal trap spaces of Boolean networks
From MaRDI portal
Publication:6199824
DOI10.1007/978-3-031-42697-1_11arXiv2305.02442OpenAlexW4386548889MaRDI QIDQ6199824
Gustavo Magaña López, Jean-Marie Lagniez, Sara Riva, Loïc Paulevé
Publication date: 28 February 2024
Published in: Computational Methods in Systems Biology (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2305.02442
Cites Work
- Unnamed Item
- Maximum number of fixed points in regulatory Boolean networks
- Synthesis and simulation of ensembles of Boolean networks for cell fate decision
- Prioritization of candidate genes through Boolean networks
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding
- Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy
- AEON: attractor bifurcation analysis of parametrised Boolean networks
- DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL
- Knowledge Compilation with Empowerment
- Counterexample-guided abstraction refinement for symbolic model checking
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Multi-shot ASP solving with clingo
- Nested Boolean Functions as Models for Quantified Boolean Formulas
This page was built for publication: Tackling universal properties of minimal trap spaces of Boolean networks
