Job Shop Scheduling via Disjunctive Boolean Formulas.
Guillermo De Ita LunaYolanda MoyaoJuan Carlos PérezJosúe PérezPublished in: LA-NMR (2012)
Keyphrases
- job shop scheduling
- boolean formula
- job shop scheduling problem
- sat solvers
- np complete
- practical problems
- scheduling problem
- membership queries
- resource constraints
- sat instances
- combinatorial optimization problems
- linear constraints
- binary decision diagrams
- boolean functions
- sat problem
- benchmark problems
- max sat
- dynamic programming
- efficient learning
- equivalence queries