#decision tree #recursion #state space search #constraint satisfaction