International Journal of Open Information Technologies

Cherepanov, M. D., Russian Federation

• Vol 14, No 6 (2026) - Mathematical modeling of processes and systems
  Synthesis of Arithmetic-Logical Expressions Using an SMT Solver
  Abstract  PDF (Russian)

ISSN: 2307-8162