Approximate Counting in SMT and Value Estimation for Probabilistic Programs
No abstract available.
Related papers
- Bit-Vector Model Counting Using Statistical Estimation TACAS 2018
- Continualization of Probabilistic Programs With Correction ESOP 2020
- Rounding Meets Approximate Model Counting CAV 2023
- Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing ESOP 2023
- Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling CAV 2020
- Probabilistic Programming with Programmable Variational Inference PLDI 2024
- Counting and Sampling Traces in Regular Languages POPL 2026
- Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic VMCAI 2019