Job-shop scheduling using automated reasoning: A case study of the car-sequencing problem
- 1 January 1986
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 2 (1) , 1-42
- https://doi.org/10.1007/bf00246021
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: