New refiners for permutation group search
Jefferson, Christopher, Pfeiffer, Markus, Waldecker, RebeccaVolume:
92
Journal:
Journal of Symbolic Computation
DOI:
10.1016/j.jsc.2017.12.003
Date:
May, 2019
File:
PDF, 572 KB
2019