Weighted MaxSMT enables robust inference of qualitative biological models from uncertain steady-state data by relaxing conflicting observations as soft constraints.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A general technique is presented for compiling SMT formulas into d-DNNF by incorporating pre-computed theory lemmas, enabling polytime SMT queries using standard propositional d-DNNF reasoners.
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.
-
d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries
A general technique is presented for compiling SMT formulas into d-DNNF by incorporating pre-computed theory lemmas, enabling polytime SMT queries using standard propositional d-DNNF reasoners.