Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem.

Bruce D. Parrello Waldo C. Kabat

Published in: J. Autom. Reason. (1986)

Keyphrases

job shop scheduling
automated reasoning
job shop scheduling problem
scheduling problem
theorem prover
knowledge representation
probabilistic reasoning
theorem proving
reasoning tasks
combinatorial optimization problems
natural language
genetic programming
memetic algorithm