cvc5: A Versatile and Industrial-Strength SMT SolverHaniel Barbosa, Yoni Zohar|Lecture notes in computer science|2022Cited by 403