Optimal ordered problem solver http://www.scholarpedia.org/article/Universal_search#OOPS_and_other_incremental_variations