"A Memory Efficient Variant of an Implementation of the F _4 Algorithm for ..."

Yun-Ju Huang et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics