TY - RPRT TI - Pointwise Score Evaluation from Succinct Boolean Descriptions: SAT Equivalence for Strongly Log-Concave Gaussian Mixtures AU - Yinzhen Lv PY - 2026 UR - https://arxiv.org/abs/2611.02346 ID - 2611.02346 ER -