A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A high-level derivation of global search algorithms (with constraint propagation)
1997
Science of Computer Programming
Preserved Fulltext
In this paper we describe the formal derivation of a transportation scheduling algorithm. The algorithm is based on the concepts of global search and constraint propagation and was originally derived using KIDS (Kestrel Interactive Development System). The emphasis in this paper is on clarity of the overall derivation and on expressing concepts at a level of abstraction that permits significant reuse of concepts, laws, inference patterns, etc. 0 1997 Elsevier Science B.V.
doi:10.1016/s0167-6423(96)00023-8
fatcat:lzq2e2ng2vhuhiynfvexg7l2ua