Abstract: In several aspects of the fuzzy sets theory and its applications, it is convenient to do some manipulations on the formulas that are proposed in order to obtain some enhancements in methods ...

CNF Boolean formulas generated from resolution or solution enumeration often have much redundancy. Efficient algorithms are needed to simplify and compact such CNF formulas. In this paper, we present ...