ndi rukanika amakuza ndi nyilimbaraga y'ishyaka the algorithm explores branches of this tree which represent subsets of the solution set