This chapter describes the related work on abstraction in problem solving. The first section compares the approaches to problem solving using abstraction that are most closely related to the one described in this book. The second section compares the approach implemented in alpine for generating abstractions to other related techniques. The third section describes the related work on properties of abstractions.
KeywordsProblem Solver Problem Space Problem Reduction Abstract Space Abstract Solution
Unable to display preview. Download preview PDF.