Weighted MaxSMT enables robust inference of qualitative biological models from uncertain steady-state data by relaxing conflicting observations as soft constraints.
In: The 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, July 20-23, Lisbon, Portugal (2026, to appear)
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.