ABSTRACT

A problem solving approach that allows you to combine both formal techniques as well as purely heurisitic techniques.