Authors: Davydov, G Davydova, I Buning, HK

Citation: G. Davydov et al., An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF, ANN MATH A, 23(3-4), 1998, pp. 229-245