Using CDCAC for SMT Inquiries with Special Constraints

Sadeghimanesh, A. (Speaker)

Research Centre for Computational Science and Mathematical Modelling

Activity: Talk or presentation › Oral presentation

Period	26 Oct 2023
Event title	Maple conference 2023
Event type	Conference
Degree of Recognition	International

Keywords

SMT solver
computer algebra
CDCAC
CAD