An algorithm for constructing accurate implication sets

We study the construction of accurate implication sets problem in this paper. An efficient recursive construction algorithm is presented for the problem. The new techniques suggested improve the time and space complexities of the backtracking search algorithm.