Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits.

Clemens Hofstadler, Daniela Kaufmann, Chen Chen

Browse the full IJCAR paper archive.