Login / Signup

SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation.

Sabino Francesco RoselliKristofer BengtssonKnut Åkesson
Published in: CASE (2018)
Keyphrases
  • job shop scheduling problem
  • machine learning
  • probabilistic model
  • scheduling problem
  • job shop scheduling
  • clustering method
  • particle swarm optimization algorithm
  • combinatorial optimization problems