supported by the National Natural Science Foundation of China(No.61300049,No.61502197,No.61503044,No.61763003);the Natural Science Research Foundation of Jilin Province of China(No.20180101053JC)
We introduce the concept of Complementary formula(COMF), which is a new and non-equivalent way for Knowledge compilation(KC). Based on the Hyper extension rule(HER) which is an expansion of Extension rule(ER), we desi...