New Steps on the Exact Learning of CNF

Montserrat Hermo, Ana Ozaki

A major problem in computational learning theory is whether the class of formulas in conjunctive normal form (CNF) is efficiently learnable. Although it is known that this class ca…