Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling (Q5194952)
From MaRDI portal
scientific article; zbMATH DE number 7105935
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling |
scientific article; zbMATH DE number 7105935 |
Statements
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling (English)
0 references
17 September 2019
0 references
solution space
0 references
simple solution
0 references
atomic solution
0 references
Horn clause
0 references
predicate variable
0 references
