Dejan Jovanovic
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Nonlinear Arithmetic with SMTLIB Division is Undecidable
Computer Science > Logic in Computer Science This paper has been withdrawn by Dejan Jovanovic [Submitted on 25 May 2026 (v1), last revised 2 Jun 2026 (this version, v2)] Title:Nonlinear Arithmetic with SMTLIB Division is Undecidable
Nonlinear Arithmetic with SMTLIB Division is Undecidable
Computer Science > Logic in Computer Science [Submitted on 25 May 2026 (v1), last revised 3 Jun 2026 (this version, v3)] Title:Nonlinear Arithmetic with SMTLIB Division is Undecidable View PDF HTML (experimental)Abstract:We show that the nonlinear real arithmetic theory (NRA) as defined in the SMTLIB standard is undecidable.