Max-ASP: Maximum Satisfiability of Answer Set Programs.
Emilia OikarinenMatti JärvisaloPublished in: LPNMR (2009)
Keyphrases
- answer set programs
- maximum satisfiability
- answer set programming
- answer sets
- boolean satisfiability
- max sat
- logic programs
- logic programming
- sat problem
- combinatorial problems
- sat solvers
- stable models
- lower bound
- branch and bound algorithm
- event calculus
- update operators
- search algorithm
- satisfiability problem
- search methods
- constraint satisfaction
- metaheuristic
- randomly generated
- linear programming
- update semantics
- general purpose