An SMT Solver for Non-linear Real Arithmetic Inside Maple

Sadeghimanesh, A. (Speaker)

Research Centre for Computational Science and Mathematical Modelling

Activity: Talk or presentation › Oral presentation

Period	2 Nov 2022
Event title	Maplesoft Conference 2022
Event type	Conference
Degree of Recognition	International

Keywords

SMT solver