Encodings of Bounded Synthesis (Q3303904)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Encodings of Bounded Synthesis |
scientific article |
Statements
Encodings of Bounded Synthesis (English)
0 references
5 August 2020
0 references
Boolean function
0 references
transition system
0 references
constraint system
0 references
synthesis problem
0 references
atomic proposition
0 references
