I'm missing the back story -- tell me more about Peter Norvig's solver?