Estimating the volume of solution space for satisfiability modulo linear real arithmetic (Q2345986)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Estimating the volume of solution space for satisfiability modulo linear real arithmetic |
scientific article |
Statements
Estimating the volume of solution space for satisfiability modulo linear real arithmetic (English)
0 references
29 May 2015
0 references
satisfiability modulo theories
0 references
linear arithmetic
0 references
volume estimation
0 references
Monte-Carlo integration
0 references
