On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes
From MaRDI portal
Publication:6168472
DOI10.4230/lipics.mfcs.2021.55OpenAlexW3193346578MaRDI QIDQ6168472
Christoph Haase, Alessio Mansutti
Publication date: 8 August 2023
Full work available at URL: https://doi.org/10.4230/LIPIcs.MFCS.2021.55
This page was built for publication: On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes