P3 & beyond: move making algorithms for solving higher order functions. - Kohli P; Pawan Kumar M; Torr PH (IEEE transactions on pattern analysis and machine intelligence, 2009)