Backtracking
Depth-first search over decisions with reversible state and sound pruning.
Depth-first search over decisions with reversible state and sound pruning.
Position-based enumeration with duplicate-value symmetry pruning.
A precise 0/1 subset-sum search and its pruning boundaries.