An Exercise in Transformational Programming: Backtracking and Branch-and-Bound

Maarten M. Fokkinga. An Exercise in Transformational Programming: Backtracking and Branch-and-Bound. Science of Computer Programming, 16(1):19-48, 1991.

Abstract

Abstract is missing.