Experimenting with heuristics for answer set programming
Wolfgang Faber, Nicola Leone, Gerald Pfeifer · 2001
Answer Set Programming (ASP) is a novel programming paradigm, which allows to solve problems in a simple and highly declarative way. The language of ASP (function-free disjunctive logic programming) is very expressive, and allows to represent even problems of high complexity (every problem in the complexity class 2 = NP ).