A Preliminary Report on Integrating of Answer Set and Constraint Solving.
Sabrina BaselicePiero A. BonattiMichael GelfondPublished in: Answer Set Programming (2005)
Keyphrases
- constraint solving
- answer sets
- logic programs
- answer set programming
- constraint logic programming
- logic programming
- constraint propagation
- constraint solver
- constraint satisfaction
- constraint satisfaction problems
- answer set semantics
- normal logic programs
- sat solvers
- answer set programs
- constraint programming
- fixpoint
- high level
- constraint solvers
- loop formulas