Only generate subsets of length closure(phi)/2
MarcStorm opened this issue · comments
Marc Storm Larsen commented
Will reduce the amount of sets that have to be checked if they are elementary or not significantly.
Marc Storm Larsen commented
Handled by #14