Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).
Carmine DodaroPhilip GasteigerNicola LeoneBenjamin MusitschFrancesco RiccaKonstantin SchekotihinPublished in: Theory Pract. Log. Program. (2016)
Keyphrases
- answer set programming
- solving hard
- combinatorial problems
- search problems
- satisfiability problem
- answer sets
- logic programs
- propositional satisfiability
- constraint programming
- propositional logic
- np complete
- orders of magnitude
- search algorithm
- heuristic search
- domain independent
- machine learning
- industrial applications
- objective function
- stochastic local search
- artificial intelligence