Montserrat Hermo

New Steps on the Exact Learning of CNF

2016 · arXiv (Cornell University)

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 cannot be polynomially learned using either membership …