Automatic Scheduling of Periodic Event Networks by SAT Solving (Q5171830)
From MaRDI portal
scientific article; zbMATH DE number 6402776
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic Scheduling of Periodic Event Networks by SAT Solving |
scientific article; zbMATH DE number 6402776 |
Statements
Automatic Scheduling of Periodic Event Networks by SAT Solving (English)
0 references
12 February 2015
0 references
