On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes.

Christoph Haase, Alessio Mansutti

Browse the full MFCS paper archive.