This search

has

exponential

complexity!

But we

do it for

small enough

problems.