Login / Signup
On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes.
Christoph Haase
Alessio Mansutti
Published in:
MFCS (2021)
Keyphrases
</>
linear arithmetic constraints
linear programming
sat encodings
database
data mining