Explaining Constraint Programming

Details Explaining Constraint Programming Explaining Constraint Programming

2006-02-07

arxiv.org/abs/cs/0602027v1

Computer Science

Programming Languages

15 pages, appeared in "Processes, Terms and Cycles: Steps on the Road to Infinity", (A. Middeldorp, V. van Oostrom, F. van Raa

Scientific paper

We discuss here constraint programming (CP) by using a proof-theoretic perspective. To this end we identify three levels of abstraction. Each level sheds light on the essence of CP. In particular, the highest level allows us to bring CP closer to the computation as deduction paradigm. At the middle level we can explain various constraint propagation algorithms. Finally, at the lowest level we can address the issue of automatic generation and optimization of the constraint propagation algorithms.

Affiliated with

Also associated with

No associations

Rating

Explaining Constraint Programming 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 Explaining Constraint Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Explaining Constraint Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-63167