Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
scientific article; zbMATH DE number 7628183
scientific article