On Polynomial Time Constructions of Minimum Height Decision Tree. - Nader H. Bshouty; Waseem Makhoul (ISAAC, 2018)