Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming.
Mohammed M. S. El-KholanyPublished in: IJCAI (2022)
Keyphrases
- answer set programming
- decomposition methods
- scheduling problem
- tree decomposition
- logic programming
- logic programs
- decomposition method
- answer sets
- training support vector machines
- constraint satisfaction problems
- single machine
- answer set programs
- flowshop
- database theory
- tabu search
- stable model semantics
- causal theories
- np hard
- knowledge representation
- stable models
- combinatorial optimization
- orders of magnitude
- database
- constraint satisfaction
- processing times
- support vector machine
- hypertree decomposition