Author name: Ond\v{r}ej Huvar, Nikola Bene\v{s}, Martin Jon\'a\v{s}, David \v{S}afr\'anek, Samuel Pastva

arXiv:2605.07433v2 Announce Type: replace-cross
Abstract: Qualitative models provide crucial instruments for modelling complex biological systems. While advances in automated reasoning and symbolic encodings have enabled rigorous inference of these mo…

arXiv:2605.07433v1 Announce Type: cross
Abstract: Qualitative models provide crucial instruments for modelling complex biological systems. While advances in automated reasoning and symbolic encodings have enabled rigorous inference of these models fro…