Constraint Reasoning Under Memory Bounds

This is the companion site for the CRUMB paper. CRUMB is a model of how people solve problems involving constraint satisfaction with limited memory and limited time.

The pages below walk through the ideas visually: