Approximate Counting in SMT and Value Estimation for Probabilistic
Programs

v1v2 (latest)

Approximate Counting in SMT and Value Estimation for Probabilistic Programs

3 November 2014

Rayna Dimitrova

ArXiv (abs)PDF HTML

Papers citing "Approximate Counting in SMT and Value Estimation for Probabilistic Programs"

6 / 6 papers shown

Title
Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration Roberto Sebastiani 76 0 0 03 Mar 2025
Approximate Probabilistic Inference via Word-Level Counting Supratik Chakraborty Kuldeep S. Meel Rakesh Mistry Moshe Y. Vardi TPM 68 59 0 24 Nov 2015
Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty Daniel J. Fremont Kuldeep S. Meel Sanjit A. Seshia Moshe Y. Vardi 85 158 0 11 Apr 2014
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization Stefano Ermon Carla P. Gomes Ashish Sabharwal B. Selman 72 131 0 27 Feb 2013
Monolingual Probabilistic Programming Using Generalized Coroutines O. Kiselyov Chung-chieh Shan LRM 98 13 0 09 May 2012
Making Random Choices Invisible to the Scheduler K. Chatzikokolakis C. Palamidessi 468 63 0 24 May 2007