Towards "Propagation = Logic + Control"

Details Towards "Propagation = Logic + Control" Towards "Propagation = Logic + Control"

2006-08-03

arxiv.org/abs/cs/0608015v1

Computer Science

Programming Languages

15 pages; 22nd International Conference on Logic Programming (ICLP'06)

Scientific paper

Constraint propagation algorithms implement logical inference. For efficiency, it is essential to control whether and in what order basic inference steps are taken. We provide a high-level framework that clearly differentiates between information needed for controlling propagation versus that needed for the logical semantics of complex constraints composed from primitive ones. We argue for the appropriateness of our controlled propagation framework by showing that it captures the underlying principles of manually designed propagation algorithms, such as literal watching for unit clause propagation and the lexicographic ordering constraint. We provide an implementation and benchmark results that demonstrate the practicality and efficiency of our framework.

Affiliated with

Also associated with

No associations

Rating

Towards "Propagation = Logic + Control" 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 Towards "Propagation = Logic + Control", we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards "Propagation = Logic + Control" will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-50290