Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper).
Carmine DodaroPhilip GasteigerNicola LeoneBenjamin MusitschFrancesco RiccaKostyantyn M. ShchekotykhinPublished in: CoRR (2016)
Keyphrases
- answer set programming
- solving hard
- combinatorial problems
- search problems
- answer sets
- satisfiability problem
- logic programming
- search algorithm
- propositional satisfiability
- heuristic search
- orders of magnitude
- constraint programming
- logic programs
- propositional logic
- optimization problems
- artificial intelligence
- metaheuristic
- constraint satisfaction problems
- domain independent
- decision problems
- particle swarm optimization
- general purpose
- software engineering
- object oriented
- answer set programs