TY  - RPRT
TI  - NP Decision Procedure for Monomial and Linear Integer Constraints
AU  - Rodrigo Raya
AU  - Jad Hamza
AU  - Viktor Kunčak
PY  - 2022
UR  - https://arxiv.org/abs/2208.02713
ID  - 2208.02713
ER  -