Sketchbook: logical model inference from Boolean network sketches

Read full text
Authors: Ondřej Huvar, Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek
Cited by: 1
References: 11

Abstract

Summary: , 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.

Fields of Study & Subjects

Gene Regulatory Network Analysis Bayesian Modeling and Causal Inference DNA and Biological Computing

Publication details

Journal / source
Bioinformatics Advances
Publisher
Oxford University Press (OUP)
Volume
6
Issue
1
Pages
vbag014–vbag014
Publication date
1 January 2026
Language
EN