A high-level derivation of global search algorithms (with constraint propagation)

Peter Pepper, Douglas R. Smith
1997 Science of Computer Programming  
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