Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
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…