Block structured scheduling using constraint logic programming.
Amelia BadicaCostin BadicaMirjana IvanovicPublished in: AI Commun. (2020)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- constraint programming
- answer set programming
- logic programming
- scheduling problem
- instruction scheduling
- proof theoretic
- temporal reasoning
- constraint propagation
- scheduling algorithm
- parallel machines
- finite domain
- database systems
- database
- arc consistency
- logic programs
- search algorithm
- reinforcement learning
- data mining