Login / Signup

Iterative Train Scheduling under Disruption with Maximum Satisfiability.

Alexandre LemosFilipe GouveiaPedro T. MonteiroInês Lynce
Published in: J. Artif. Intell. Res. (2024)
Keyphrases
  • maximum satisfiability
  • boolean satisfiability
  • scheduling problem
  • max sat
  • job shop scheduling
  • multi agent
  • lower bound
  • np hard
  • supply chain