| cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 308 | 2022 |
| CVC5 at the SMT Competition 2022 H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, A Mohamed, ... | 4 | 2022 |
| A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery A Mohamed, A Reynolds, C Barrett, C Tinelli 2023 Formal Methods in Computer-Aided Design (FMCAD), 189-198, 2023 | | 2023 |
| CVC5 at the SMT Competition 2023 L Aniva, H Barbosa, C Barrett, M Brain, V Camillo, G Kremer, H Lachnitt, ... | | |
| CVC5 at the SMT Competition 2021 C Barrett, H Barbosa, M Brain, G Kremer, M Mann, A Mohamed, ... | | |
