초록 요약 스케치북은 부울 네트워크 모델의 부분 명세를 결합한 정적 및 동적 논리 제약의 프레임워크인 부울 네트워크 스케치의 설계 및 분석을 위한 도구입니다. 이 도구는 직관적인 그래픽 인터페이스와 모든 허용 가능한 후보 모델의 전체 집합을 효율적으로 계산할 수 있는 고성능 추론 엔진을 결합합니다. 가용성 및 구현 모든 소프트웨어와 데이터는 https://doi.org/10.5281/zenodo.15828328에서 재현 가능한 아티팩트로 무료로 제공됩니다. 도구의 최신 버전은 https://github.com/sybila/biodivine-sketchbook을 통해 접근할 수 있습니다. 보충 정보 보충 데이터는 Bioinformatics Advances 온라인에서 제공됩니다.
Huvar et al. (화요일,)는 이 질문을 연구했습니다.