Authors: Buning, HK

Citation: Hk. Buning, On subclasses of minimal unsatisfiable formulas, DISCR APP M, 107(1-3), 2000, pp. 83-98

Authors: Zhao, XS Ding, DC Buning, HK

Citation: Xs. Zhao et al., Complexity results for restricted credulous default reasoning, AI COMMUN, 13(4), 2000, pp. 249-257

Authors: Franco, JV Gallo, G Buning, HK Speckenmeyer, E

Citation: Jv. Franco et al., Preface - Special issue of DAM on the Satisfiability Problem, DISCR APP M, 97, 1999, pp. 1-2

Authors: Buning, HK Lettmann, T

Citation: Hk. Buning et T. Lettmann, Resolution remains hard under equivalence, DISCR APP M, 97, 1999, pp. 139-148

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