This method was not covered, but it is the most-efficient, complete algorithm known []. Although it is the most impressive algorithm theoretically, it is not been used in practice because of performance limitations and difficulty of implementation.
