Corpus ID: 117248322

Independence and search space preservation in dynamically scheduled constraint logic languages

@inproceedings{Banda1995IndependenceAS,
  title={Independence and search space preservation in dynamically scheduled constraint logic languages},
  author={M. Banda and M. Hermenegildo and Kimbal George Marriott},
  year={1995}
}
This paper performs a further generalization of the notion of independence in constraint logic programs to the context of constraint logic programs with dynamic scheduling. The complexity of this new environment made necessary to first formally define the relationship between independence and search space preservation in the context of CLP languages. In particular, we show that search space preservation is, in the context of CLP languages, not only a sufficient but also a necessary condition… CONTINUE READING
4 Citations