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"

16 / 16 papers shown

Title
Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration Roberto Sebastiani 76 0 0 03 Mar 2025
Counting the Number of Solutions to Constraints Jian Zhang Cunjing Ge Feifei Ma 34 0 0 28 Dec 2020
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains Vaishak Belle NAI LRM 108 36 0 15 Jun 2020
On the Approximability of Weighted Model Integration on DNF Structures Ralph Abboud .Ismail .Ilkan Ceylan Radoslav Dimitrov TPM 48 5 0 17 Feb 2020
SMT + ILP Vaishak Belle 18 0 0 15 Jan 2020
MCPA: Program Analysis as Machine Learning Marcel Bohme 28 1 0 12 Nov 2019
Efficient Search-Based Weighted Model Integration Zhe Zeng Guy Van den Broeck TPM 107 24 0 13 Mar 2019
Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation Anton Fuxjaeger Vaishak Belle TPM 8 1 0 29 Nov 2018
Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks Andreas Bueff Stefanie Speichert Vaishak Belle TPM 43 15 0 14 Jul 2018
Probabilistic Planning by Probabilistic Programming Vaishak Belle 21 2 0 25 Jan 2018
Bit-Vector Model Counting using Statistical Estimation Seonmo Kim Stephen McCamant 14 11 0 21 Dec 2017
A New Probabilistic Algorithm for Approximate Model Counting Cunjing Ge Feifei Ma Tian Liu Jian Zhang TPM 41 4 0 13 Jun 2017
Quantifying Program Bias Aws Albarghouthi Loris Dántoni Samuel Drews A. Nori 74 12 0 17 Feb 2017
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults Guy Avni Shubham Goel T. Henzinger G. Rodríguez-Navas 22 3 0 12 Jan 2017
Approximate Probabilistic Inference via Word-Level Counting Supratik Chakraborty Kuldeep S. Meel Rakesh Mistry Moshe Y. Vardi TPM 78 59 0 24 Nov 2015
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA) Cunjing Ge Feifei Ma Jian Zhang 33 1 0 01 Jul 2015