Comparing Approaches to the Exploration of the Domain of Residue Classes

Andreas Meier, Martin Pollet, Volker Sorge. Comparing Approaches to the Exploration of the Domain of Residue Classes. Journal of Symbolic Computation, 34(4):287-306, 2002. [doi]

Abstract

Abstract is missing.