共 50 条
- [31] Satisfiability Modulo Exponential Integer Arithmetic AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 344 - 365
- [34] ALGORITHMS FOR VERY LARGE INTEGER ARITHMETIC TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1986, 5 (02): : 89 - 102
- [35] INTEGER SETS CONTAINING NO ARITHMETIC PROGRESSIONS JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1987, 35 : 385 - 394
- [36] Scaling Integer Arithmetic in Probabilistic Programs UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2023, 216 : 260 - 270
- [37] Monadic Decomposition in Integer Linear Arithmetic AUTOMATED REASONING, PT I, 2020, 12166 : 122 - 140
- [39] On the expressiveness of real and integer arithmetic automata AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 152 - 163