Changlin and Wennan’s fast boolean factorization algorithm, MEBF, has been accepted by Association for the Advancement of Artificial Intelligence (AAAI2020). AAAI2020 is very competitive this year. The total accept rate is around 20%. Great news! Congratulations to authors!