Informace o publikaci
Sketchbook: logical model inference from Boolean network sketches
| Autoři | |
|---|---|
| Rok publikování | 2026 |
| Druh | Recenzovaný odborný článek |
| Časopis / Zdroj | BIOINFORMATICS ADVANCES |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | https://doi.org/10.1093/bioadv/vbag014 |
| Doi | https://doi.org/10.1093/bioadv/vbag014 |
| Klíčová slova | boolean network; temporal logic; model inference; automated reasoning |
| Přiložené soubory | |
| Popis | Sketchbook is a tool for design and analysis of Boolean network sketches, a framework for partial specification of Boolean network models combining static and dynamic logical constraints. The tool combines an intuitive graphical interface with a high-performance inference engine able to efficiently compute the whole set of all admissible candidate models.Availability and implementation All software and data are freely available as a reproducible artefact at https://doi.org/10.5281/zenodo.15828328. The up-to-date version of the tool is accessible through https://github.com/sybila/biodivine-sketchbook. |