TY  - RPRT
TI  - Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
AU  - Ondřej Huvar
AU  - Nikola Beneš
AU  - Martin Jonáš
AU  - David Šafránek
AU  - Samuel Pastva
PY  - 2026
UR  - https://arxiv.org/abs/2605.07433
ID  - 2605.07433
ER  -