Publication details
Sketchbook: logical model inference from Boolean network sketches
| Authors | |
|---|---|
| Year of publication | 2026 |
| Type | Peer-reviewed scientific article |
| Magazine / Source | BIOINFORMATICS ADVANCES |
| MU Faculty or unit | |
| Citation | |
| web | https://doi.org/10.1093/bioadv/vbag014 |
| Doi | https://doi.org/10.1093/bioadv/vbag014 |
| Keywords | boolean network; temporal logic; model inference; automated reasoning |
| Attached files | |
| Description | 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. |