Exact Symbolic Reasoning for Nonlinear Stochastic SMT via Cylindrical Algebraic Decomposition.

Jung-Cheng Lin, Chia-Hsuan Su, Jie-Hong R. Jiang, Hiroshi Unno

Browse the full SAT paper archive.