Weighted MaxSMT enables robust inference of qualitative biological models from uncertain steady-state data by relaxing conflicting observations as soft constraints.
PLOS Computational Biology21(4), e1012735 (2025)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
q-bio.MN 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
Weighted MaxSMT enables robust inference of qualitative biological models from uncertain steady-state data by relaxing conflicting observations as soft constraints.