ON THE MINIMAL COVERING PROBLEM,
AIR FORCE CAMBRIDGE RESEARCH LABS L G HANSCOM FIELD MASS
Pagination or Media Count:
This paper presents several algorithms for determining those irredundant and minimal clauses that imply a truth function given in conjunctive normal form. Algebraic methods of directly obtaining all minimal clauses or just a single minimal clause are given for use in those cases in which the entire set of irredundant clauses is not required. Programs using the LISP and COMIT Programming Systems and two basic machine codes have been written to evaluate the algorithms of this paper relative to each other and to alternative procedures.