Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
Thomas EiterTobias GeibingerNysret MusliuJohannes OetschPeter SkocovskyDaria StepanovaPublished in: CoRR (2022)
Keyphrases
- answer set programming
- processing times
- scheduling problem
- setup times
- logic programs
- logic programming
- answer sets
- morphological operators
- causal theories
- lower bound
- reasoning tasks
- stable model semantics
- flowshop
- constraint logic programming
- single machine
- stable models
- genetic algorithm
- answer set programs
- np hard
- knowledge representation
- programming language