Ilia B.

Results 2 issues of Ilia B.

TANE algorithm implementation missed key pruning (supposedly because of AUCC discovery, which required much larger search space). Since we no longer need AUCC discovery in this algorithm, original key pruning...

Generalize Tane and PFDTane, add additional tests. In order to check if the refactoring caused any performance loss, following experiments were performed. The discovery task was run as `cli.py --task=afd...