Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints.
David RajaratnamTorsten SchaubPhilipp WankoKai ChenSirui LiuTran Cao SonPublished in: Algorithms (2023)
Keyphrases
- answer set programming
- finite domain
- constraint logic programming
- logic programs
- logic programming
- answer sets
- function symbols
- causal theories
- reasoning tasks
- stable model semantics
- answer set programs
- update semantics
- stable models
- relational databases
- haplotype inference
- constraint programming
- combinatorial optimization
- constraint satisfaction
- data warehouse
- expert systems
- constraint problems
- constraint networks
- constraint propagation