Choose, explore, unchoose: list every subset or every order, and prune branches that cannot work.
This interactive visualization needs JavaScript.