Efficient Solutions for a Problem in Currency Systems

摘要

In this paper, an efficient recursive construction algorithm based on the backtracking search algorithm is presented for the construc tion of accurate implication sets. The new techniques suggested improve the time and space complexities of the backtracking search algorithm dramatically.