Decision list compression by mild random restrictions
Electronic Colloquium on Computational Complexity (ECCC), pp. 1372019.
A decision list is an ordered list of rules. Each rule is specified by a term, which is a conjunction of literals, and a value. Given an input, the output of a decision list is the value corresponding to the first rule whole term is satisfied by the input. Decision lists generalize both CNFs and DNFs, and have been studied both in compl...More
PPT (Upload PPT)