A Translational Approach to Constraint Answer Set Solving

Details A Translational Approach to Constraint Answer Set Solving A Translational Approach to Constraint Answer Set Solving

2010-07-23

arxiv.org/abs/1007.4114v1

Theory and Practice of Logic Programming, 10(4-6), 465-480, 2010

Computer Science

Logic in Computer Science

17 pages

Scientific paper

We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ASP. We show how constraints on finite domains can be decomposed into logic programs such that unit-propagation achieves arc, bound or range consistency. Experiments with our encodings demonstrate their computational impact.

Affiliated with

Also associated with

No associations

Rating

A Translational Approach to Constraint Answer Set Solving does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Translational Approach to Constraint Answer Set Solving, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Translational Approach to Constraint Answer Set Solving will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-138921