Approximate Counting in SMT and Value Estimation for Probabilistic Programs (Q5194954)
From MaRDI portal
scientific article; zbMATH DE number 7105951
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Approximate Counting in SMT and Value Estimation for Probabilistic Programs |
scientific article; zbMATH DE number 7105951 |
Statements
Approximate Counting in SMT and Value Estimation for Probabilistic Programs (English)
0 references
17 September 2019
0 references
hash function
0 references
Boolean formula
0 references
probabilistic program
0 references
satisfying assignment
0 references
integer arithmetic
0 references
