Backtracking with explicit search spaces

Knowledge package outline

Topic

Computation and software foundations

Purpose

Makes exhaustive reasoning systematic without security applications.

Package contents

Constraint puzzles; pruning trees; completeness checks.

Dependencies

Recursion; logic.