Problem Solving - Cognitive Mechanisms and Formal Models

Problem solving is one of the most fundamental cognitive functions, and now there is finally a textbook for cognitive psychology and cognitive neuroscience courses that is dedicated to investigating how it works. It brings together insights from psychological research on human subjects with useful formal models from computer science.