Railway scheduling using Boolean satisfiability modulo simulations (Q6174526)
From MaRDI portal
scientific article; zbMATH DE number 7728836
Language | Label | Description | Also known as |
---|---|---|---|
English | Railway scheduling using Boolean satisfiability modulo simulations |
scientific article; zbMATH DE number 7728836 |
Statements
Railway scheduling using Boolean satisfiability modulo simulations (English)
0 references
17 August 2023
0 references