Progressively more intelligent solving strategies