aco: optimize boolean phis with uniform selections